From 292a48073a42a4d5719da21771715cdc7bbe6847 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 22 May 2013 19:16:44 +0200 Subject: [PATCH] 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 05c930f6..8e6a4a22 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 db99e0cd..5bd0d29e 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; +}