diff --git a/repos/gems/src/app/sculpt_manager/feature.h b/repos/gems/src/app/sculpt_manager/feature.h index a37c53f3fb..58f6cc975d 100644 --- a/repos/gems/src/app/sculpt_manager/feature.h +++ b/repos/gems/src/app/sculpt_manager/feature.h @@ -29,6 +29,9 @@ struct Sculpt::Feature /* allow the browsing of file systems via the inspect view */ static constexpr bool INSPECT_VIEW = true; + + /* highlight hovered buttons, not possible on touch-screen devices */ + static constexpr bool VISUAL_HOVER = true; }; #endif /* _FEATURE_H_ */ diff --git a/repos/gems/src/app/sculpt_manager/view/hoverable_item.h b/repos/gems/src/app/sculpt_manager/view/hoverable_item.h index c5f66dde10..bf407fd05b 100644 --- a/repos/gems/src/app/sculpt_manager/view/hoverable_item.h +++ b/repos/gems/src/app/sculpt_manager/view/hoverable_item.h @@ -14,6 +14,7 @@ #ifndef _VIEW__HOVERABLE_ITEM_H_ #define _VIEW__HOVERABLE_ITEM_H_ +#include #include "types.h" #include "xml.h" @@ -51,7 +52,8 @@ struct Sculpt::Hoverable_item */ void gen_hovered_attr(Xml_generator &xml, Id const &id) const { - if (hovered(id)) xml.attribute("hovered", "yes"); + if (Feature::VISUAL_HOVER && hovered(id)) + xml.attribute("hovered", "yes"); } /**