gnome-shell-extensions

Files

Florian Müllner 2383462a60 apps-menu: Catch menu tree entries we can't resolve to an app

The default .menu file still contains a number of legacy directories that
have been deprecated for over 15 years, which GIO (and in extension the
shell's AppSystem) ignore. Encountering such an entry currently triggers
an exception and an entire category ends up empty, fix this by silently
skipping over the offending entry.

https://bugzilla.gnome.org/show_bug.cgi?id=759004

2016-03-03 17:42:24 +01:00

alternate-tab

Update for KeyBindingMode => ActionMode change

2014-12-19 16:13:29 +01:00

apps-menu

apps-menu: Catch menu tree entries we can't resolve to an app

2016-03-03 17:42:24 +01:00

auto-move-windows

auto-move: Tweak prefs UI

2014-05-28 01:14:42 +02:00

drive-menu

Use a proper arrows instead of UTF8