Florian Müllner 292a48073a apps-menu: Add some padding to ScrollView ...

In case the scroll bar is visible, is is currently positioned at
the very edge of the popup, which looks fairly bad; so add some
minimal padding.

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

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

..

extension.js

apps-menu: Add some padding to ScrollView

2013-05-22 19:40:02 +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