[gnome-shell-extensions/gnome-3-8] apps-menu: Add some padding to ScrollView

[Florian Müllner <fmuellner src gnome org>]

commit 1fc86978d20c45b49bde64793565142011004fec
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed May 22 19:16:44 2013 +0200

    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

 extensions/apps-menu/extension.js   |    2 +-
 extensions/apps-menu/stylesheet.css |    8 +++++++-
 2 files changed, 8 insertions(+), 2 deletions(-)
---
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index 05c930f..8e6a4a2 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -424,7 +424,7 @@ const ApplicationsButton = new Lang.Class({
         this.leftBox = new St.BoxLayout({ vertical: true });
         this.applicationsScrollBox = new St.ScrollView({ x_fill: true, y_fill: false,
                                                          y_align: St.Align.START,
-                                                         style_class: 'vfade' });
+                                                         style_class: 'apps-menu vfade' });
         this.applicationsScrollBox.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC);
         let vscroll = this.applicationsScrollBox.get_vscroll_bar();
         vscroll.connect('scroll-start', Lang.bind(this, function() {
diff --git a/extensions/apps-menu/stylesheet.css b/extensions/apps-menu/stylesheet.css
index db99e0c..5bd0d29 100644
--- a/extensions/apps-menu/stylesheet.css
+++ b/extensions/apps-menu/stylesheet.css
@@ -1 +1,7 @@
-/* none used*/
+.apps-menu:ltr {
+    padding-right: 3px;
+}
+
+.apps-menu:rtl {
+    padding-left: 3px;
+}