genode/repos/gems/src/app
Norman Feske 669aed0ac0 sculpt: don't reset hover on click on '+' menu
When entering/leaving sub menus of Sculpt's '+' menu, some parts of the
menu sometimes remain unchanged, in particular the back button.
Originally, a click would reset the hovering on clicks in the
expectation that any click would eventually result in a completely new
situation where the old hovering information does not make sense and
would only (potentially) confuse the menu. But this was apparently
overzealous. With the patch a once hovered back button stays hovered
even when actitivated and the back button of the upper-level menu
happens to stay under the current pointer position.

Issue #3209
2019-03-18 15:56:23 +01:00
..
backdrop gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
cpu_load_display gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
decorator Add missing override annotations 2019-02-19 11:12:11 +01:00
depot_autopilot Add missing override annotations 2019-02-19 11:12:11 +01:00
depot_deploy sculpt: browse depot index files in '+' menu 2019-02-28 11:34:07 +01:00
depot_download_manager sculpt: browse depot index files in '+' menu 2019-02-28 11:34:07 +01:00
depot_query depot_query: scan depot for users 2019-02-28 11:34:06 +01:00
driver_manager gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
fs_query gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
gpt_write gpt_write: add flag to preserve hybrid 2018-06-12 12:11:41 +02:00
launcher gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
menu_view menu view: immediate hover update on dialog change 2019-03-18 15:56:23 +01:00
mixer_gui_qt qt5: remove deprecated APIs 2019-02-26 14:38:03 +01:00
nano3d gems: enable strict warnings for more components 2019-01-30 13:35:28 +01:00
pipe Standalone POSIX pipe utility 2018-03-08 15:22:12 +01:00
sculpt_manager sculpt: don't reset hover on click on '+' menu 2019-03-18 15:56:23 +01:00
themed_decorator gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
window_layouter gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00