From 977c7d4a9961e8d4d373216d4ae1d4d47ed3a887 Mon Sep 17 00:00:00 2001 From: Benjamin Berg Date: Tue, 16 Oct 2007 17:12:46 +0200 Subject: [PATCH] Subtract the palette border from the primary label height. --- NEWS | 1 + lib/sugar/graphics/palette.py | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 64ffabb4..b583484d 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,4 @@ +* Correct the height of the primary palette (benzea) * Use double leading underscores for callback names to avoid name collisions (erikos) Snapshot 34e2271833 diff --git a/lib/sugar/graphics/palette.py b/lib/sugar/graphics/palette.py index b3371331..0acd03b4 100644 --- a/lib/sugar/graphics/palette.py +++ b/lib/sugar/graphics/palette.py @@ -110,7 +110,8 @@ class Palette(gtk.Window): vbox = gtk.VBox() self._label = gtk.Label() - self._label.set_size_request(-1, style.zoom(style.GRID_CELL_SIZE)) + self._label.set_size_request(-1, style.zoom(style.GRID_CELL_SIZE) + - 2*self.get_border_width()) self._label.set_alignment(0, 0.5) self._label.set_padding(style.zoom(15), 0) vbox.pack_start(self._label, False)