From 0231969bbad716361b01f4235f0bcae8f0151b28 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20Qui=C3=B1ones?= Date: Fri, 14 Dec 2012 14:51:06 -0300 Subject: [PATCH] PaletteWindowWidget: set border width to make outer space in the container - SL #4295 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit In the palette reimplamentation, commit 48ad255a, set_border_width was removed. Add it again to the corresponding widget, and get the value from the theme. Previously the value was given by: self.get_style().xthickness . Now we can use the widget border. Signed-off-by: Manuel Quiñones Acked-by: Simon Schampijer --- src/sugar3/graphics/palettewindow.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/sugar3/graphics/palettewindow.py b/src/sugar3/graphics/palettewindow.py index 70636817..0d670066 100644 --- a/src/sugar3/graphics/palettewindow.py +++ b/src/sugar3/graphics/palettewindow.py @@ -278,6 +278,11 @@ class _PaletteWindowWidget(Gtk.Window): self.set_resizable(False) self.set_position(Gtk.WindowPosition.NONE) + context = self.get_style_context() + # Just assume all borders are the same + border = context.get_border(Gtk.StateFlags.ACTIVE).right + self.set_border_width(border) + accel_group = Gtk.AccelGroup() self.sugar_accel_group = accel_group self.add_accel_group(accel_group)