Florian Müllner f4625f7968 alternate-tab: Tweak pref widget a bit ...

Adjust spacing to use more standard values and tweak alignments
to make the structure a bit more clear.

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

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

..

extension.js

Fix a number of undeclared variable warnings

2013-07-30 13:23:47 +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

alternate-tab: Tweak pref widget a bit

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

stylesheet.css

Revert "Remove alternate-tab extension"

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