Giovanni Campagna a2f14c57c5 apps-menu: don't store the hot corner at creation ...

HotCorners become invalid when the xrandr configuration changes,
so instead of storing it fetch it directly from layoutManager when
needed.

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

2013-07-04 16:06:24 +02:00

..

extension.js

apps-menu: don't store the hot corner at creation

2013-07-04 16:06:24 +02:00

Makefile.am

New Extension: applications menu on the panel

2011-05-31 22:03:34 +02:00

metadata.json.in

Update descriptions of extensions

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

stylesheet.css

apps-menu: Add some padding to ScrollView

2013-05-22 19:40:02 +02:00