Florian Müllner e98e5d0d62 alternateTab: Adjust to gnome-shell changes ...

The code de-duplication in commit bf8d30603e57b broke the extension,
fix by duplicating the code here now :-(

(It's not really that bad though ...)

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

2016-06-10 17:43:27 +02:00

..

alternate-tab

alternateTab: Adjust to gnome-shell changes

2016-06-10 17:43:27 +02:00

apps-menu

apps-menu: Fix .desktop entries in subdirectories

2015-12-16 22:50:41 +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

2015-03-10 19:56:41 +01:00

example

example: Tweak prefs UI

2014-05-28 01:27:37 +02:00

launch-new-instance

launch-new-instance: Fix warning

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

native-window-placement

native-window-placement: Make sure that the border does not overlap the title

2015-12-04 11:38:35 +01:00

places-menu

places: Include DESKTOP when desktop icons are enabled

2015-09-04 17:50:06 +02:00

screenshot-window-sizer

screenshot-window-sizer: hidpi support

2016-01-08 14:09:48 +00:00

user-theme

Revert "user-theme: Temporarily work around a gnome-shell regression"

2014-11-27 14:49:43 +00:00

window-list

panel style changes

2016-05-10 15:51:49 +02:00

windowsNavigator

windowsNavigator: update for gnome-shell changes

2013-09-03 10:36:31 +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