Giovanni Campagna e4c977146a alternate-tab: port to new extension API ...

main() has been	replaced by init(), enable() and disable()
at the same time, ensure that all keybindings are correctly taken
(even though alt-tab and alt-shift-tab have the same effect right
now)

2011-08-02 23:31:46 +02:00

..

extension.js

alternate-tab: port to new extension API

2011-08-02 23:31:46 +02: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