Giovanni Campagna c256ed802b various: update the extensions for gnome-shell API changes ...

GNOME Shell has changed internal API here and there, and this
broke some extensions.
alternate-tab and dock still have issues, I'll try to solve them
post 3.2.0

2011-10-03 17:31:43 +01:00

..

extension.js

various: update the extensions for gnome-shell API changes

2011-10-03 17:31:43 +01:00

Makefile.am

alternate-tab: more alternative implementations

2011-08-01 15:38:28 +02:00

metadata.json.in

alternate-tab: more alternative implementations

2011-08-01 15:38:28 +02:00

org.gnome.shell.extensions.alternate-tab.gschema.xml.in

alternate-tab: more alternative implementations

2011-08-01 15:38:28 +02:00

stylesheet.css

XRandRIndicator: new extension

2011-01-12 21:07:58 +01:00