diff options
| author | Manuel Quiñones <manuq@laptop.org> | 2012-12-14 17:51:06 (GMT) |
|---|---|---|
| committer | Manuel Quiñones <manuq@laptop.org> | 2012-12-15 13:23:10 (GMT) |
| commit | 0231969bbad716361b01f4235f0bcae8f0151b28 (patch) | |
| tree | fa6dc0f9658367cd292c76076c8ed5648c9a1831 | |
| parent | a22d4ee50d362eb1f638111d287c81af70a8f5fc (diff) | |
PaletteWindowWidget: set border width to make outer space in the container - SL #4295
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 <manuq@laptop.org>
Acked-by: Simon Schampijer <simon@laptop.org>
| -rw-r--r-- | src/sugar3/graphics/palettewindow.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/sugar3/graphics/palettewindow.py b/src/sugar3/graphics/palettewindow.py index 7063681..0d67006 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) |