Ticket #4295: 0001-PaletteWindowWidget-set-border-width-to-make-outer-s.patch

File 0001-PaletteWindowWidget-set-border-width-to-make-outer-s.patch, 1.5 KB (added by manuq, 11 years ago)

toolkit patch.

  • src/sugar3/graphics/palettewindow.py 

    From 18716247896bbb415eaff992cfe4f8aa65d3b5bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Manuel=20Qui=C3=B1ones?= <manuq@laptop.org>
Date: Fri, 14 Dec 2012 14:51:06 -0300
Subject: [PATCH toolkit] 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
Mail-Followup-To: <sugar-devel@lists.sugarlabs.org>

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>
---
 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 7063681..0d67006 100644
    a b class _PaletteWindowWidget(Gtk.Window): 
    278278        self.set_resizable(False)
    279279        self.set_position(Gtk.WindowPosition.NONE)
    280280
     281        context = self.get_style_context()
     282        # Just assume all borders are the same
     283        border = context.get_border(Gtk.StateFlags.ACTIVE).right
     284        self.set_border_width(border)
     285
    281286        accel_group = Gtk.AccelGroup()
    282287        self.sugar_accel_group = accel_group
    283288        self.add_accel_group(accel_group)