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, 10 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)