Florian Müllner 077a292952 apps-menu: Reload on tree changes ...

Now that we respect the sort order defined in the .menu file, make
sure to reload the menu on those changes as well, not just when
the installed apps themselves change.

Fixes https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/27

2017-11-25 06:46:29 +01:00

..

alternate-tab

alternateTab: Don't take over 'switch-group' shortcuts

2016-11-14 12:30:12 +01:00

apps-menu

apps-menu: Reload on tree changes

2017-11-25 06:46:29 +01:00

auto-move-windows

auto-move: Remove unused imports

2017-10-26 20:03:12 +02:00

drive-menu

drive-menu: Add a translator comment explaining a variable

2017-08-03 14:06:26 +02:00

example

Use Unicode in translatable strings

2017-02-16 02:20:03 +01:00

launch-new-instance

launch-new-instance: Fix warning

2015-03-02 21:05:43 +01:00

native-window-placement

nativeWindowPlacement: Use custom strategy to hook into layout

2017-10-13 16:08:07 +02:00

places-menu

places-menu: Support unmounting ejectable places

2017-11-25 06:22:16 +01:00

screenshot-window-sizer

gschema: Fix gettext-domain

2017-10-01 19:10:42 +02:00

user-theme

build: Say good-bye to intltool

2016-08-19 22:17:07 +02:00

window-list

window-list: Respect MWM hints

2017-06-09 17:54:24 +02:00

windowsNavigator

windowsNavigator: Use regular for() loops

2017-10-26 20:03:12 +02:00

workspace-indicator

workspace-indicator: Use consistent workspace numbering

2015-07-31 16:47:18 +02:00

Makefile.am

New extension: Removable Drive Menu

2011-04-26 01:21:53 +02:00