Florian Müllner fcbfaec53e apps-menu: Adjust to mutter API change ...

The global grab API got dropped from mutter's Clutter fork, so use the
corresponding input device API instead.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/90

2019-08-21 19:39:11 +02:00

..

extension.js

apps-menu: Adjust to mutter API change

2019-08-21 19:39:11 +02:00

meson.build

build: Support the meson build system

2017-12-01 17:41:04 +01:00

metadata.json.in

meta: Update description note for reporting bugs

2017-12-01 21:04:02 +01:00

stylesheet.css

apps-menu: Add some padding to ScrollView

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