Giovanni Campagna 85c7b9b85b places-menu: fix for gnome-shell changes ...

Making sure something appears on screen is not equivalent to
working...

2014-02-05 17:27:36 +01:00

..

extension.js

Update all extensions for gnome-shell 3.9.90

2013-08-18 22:01:35 +02:00

Makefile.am

places-menu: rework to be more similar to the Files sidebar

2012-09-06 19:41:10 +02:00

metadata.json.in

Update descriptions of extensions

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

placeDisplay.js

places-menu: fix for gnome-shell changes

2014-02-05 17:27:36 +01:00

stylesheet.css

New Extension: Places Menu Status Indicator

2011-05-04 16:10:32 +02:00