Subtract the palette border from the primary label height.

2007-10-16 17:12:46 +02:00
parent 05236c6670
commit 977c7d4a99
2 changed files with 3 additions and 1 deletions
@@ -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)