2 Commits

Author	SHA1	Message	Date
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
Vamsi Krishna Brahmajosyula	bdbf44805d	New Extension: applications menu on the panel	2011-05-31 22:03:34 +02:00