[polari] appNotifications: Add some left/right margins to queue

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

commit 645639fb4c5f8b27bdde554b0ea04109fe92de36
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Jan 29 14:42:48 2016 +0100

    appNotifications: Add some left/right margins to queue
    
    While we don't expect app notifications to take up all the available width,
    it's still a possibility we should take into account (in particular when
    dealing with strings under user control, like account names). Make sure
    we get at least some spacing in that case.

 src/appNotifications.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/src/appNotifications.js b/src/appNotifications.js
index 24d6009..4f16920 100644
--- a/src/appNotifications.js
+++ b/src/appNotifications.js
@@ -95,6 +95,8 @@ const NotificationQueue = new Lang.Class({
     _init: function() {
         this.widget = new Gtk.Frame({ valign: Gtk.Align.START,
                                       halign: Gtk.Align.CENTER,
+                                      margin_start: 24,
+                                      margin_end: 24,
                                       no_show_all: true });
         this.widget.get_style_context().add_class('app-notification');