Florian Müllner 013b3fb73c apps-menu: Adapt to Clutter.Grab changes ...

Device grabs are gone, switch to the new API.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/212>

2022-02-10 00:28:04 +01:00

..

extension.js

apps-menu: Adapt to Clutter.Grab changes

2022-02-10 00:28:04 +01:00

meson.build

apps-menu: Stop using panel-main-menu shortcut

2021-08-31 23:42:23 +02:00

metadata.json.in

apps-menu: Stop using panel-main-menu shortcut

2021-08-31 23:42:23 +02:00

org.gnome.shell.extensions.apps-menu.gschema.xml

apps-menu: Stop using panel-main-menu shortcut

2021-08-31 23:42:23 +02:00

stylesheet.css

apps-menu: Add some padding to ScrollView

2013-05-22 19:40:02 +02:00