gnome-shell

History

Marco Trevisan (Treviño) 54f369404a popupMenu: Add focusActor property to define the default focus actor

The PopupMenuManager is supposed to grab and focus the menu actors, with
normal menus we always need to grab the actual menu but set the key focus to
the source actor so that it will be able to move the focus to the menu
child, if requested.

However there are menus such as the RenameFolderMenu that requires the
key-focus once prompted, so provide a focusActor property (defaulting to the
sourceActor) that can be set in order to define the actor to give the
keyboard focus to, when the menu is popped-up.

Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/1604
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/720

2019-09-20 15:53:42 +00:00

extensionPrefs

cleanup: Use consistent brace style of blocks

2019-09-15 16:02:45 +02:00

gdm

cleanup: Avoid useless return statements

2019-09-15 16:02:45 +02:00

misc

introspect: Check whitelist also for GetRunningWindows()

2019-09-18 16:17:25 +00:00

perf

cleanup: Disambiguate assignments in arrow functions