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

..

extension.js

alternateTab: Adjust to gnome-shell changes

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

Makefile.am

alternate-tab: Re-use window-switcher in gnome-shell

2012-12-11 07:40:40 +01:00

metadata.json.in

Update descriptions of extensions

2013-05-20 19:06:59 +02:00

prefs.js

Stop using deprecated GSettings:schema property

2014-10-07 14:38:12 +02:00

stylesheet.css

Revert "Remove alternate-tab extension"

2012-12-11 00:10:17 +01:00