diff options
author | Benjamin Berg <benjamin@sipsolutions.net> | 2007-10-16 16:17:01 (GMT) |
---|---|---|
committer | Benjamin Berg <benjamin@sipsolutions.net> | 2007-10-16 16:17:01 (GMT) |
commit | fa55b5af096ae045910b264c890ca26838cc22aa (patch) | |
tree | d0f1427b0a66c622e616e5b9bf56953d95cfc4a5 | |
parent | 1c1f736a81c69c544f0afd52e091d74189e5af9f (diff) |
Changed default spacing to 15px (and fixed the palette to use it)
-rw-r--r-- | NEWS | 1 | ||||
-rw-r--r-- | lib/sugar/graphics/palette.py | 4 | ||||
-rw-r--r-- | lib/sugar/graphics/style.py | 2 |
3 files changed, 4 insertions, 3 deletions
@@ -1,3 +1,4 @@ +* Changed default spacing to 15px (from 8px) (benzea) * Correct the height of the primary palette (benzea) * Use double leading underscores for callback names to avoid name collisions (erikos) diff --git a/lib/sugar/graphics/palette.py b/lib/sugar/graphics/palette.py index 0acd03b..69dc071 100644 --- a/lib/sugar/graphics/palette.py +++ b/lib/sugar/graphics/palette.py @@ -113,7 +113,7 @@ class Palette(gtk.Window): 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) + self._label.set_padding(style.DEFAULT_SPACING, 0) vbox.pack_start(self._label, False) self._secondary_box = gtk.VBox() @@ -159,7 +159,7 @@ class Palette(gtk.Window): def _add_content(self): # The content is not shown until a widget is added self._content = gtk.VBox() - self._content.set_border_width(style.zoom(15)) + self._content.set_border_width(style.DEFAULT_SPACING) self._secondary_box.pack_start(self._content) def do_style_set(self, previous_style): diff --git a/lib/sugar/graphics/style.py b/lib/sugar/graphics/style.py index c9e4f68..1f97adc 100644 --- a/lib/sugar/graphics/style.py +++ b/lib/sugar/graphics/style.py @@ -110,7 +110,7 @@ def zoom(units): ZOOM_FACTOR = _compute_zoom_factor() -DEFAULT_SPACING = zoom(8) +DEFAULT_SPACING = zoom(15) DEFAULT_PADDING = zoom(6) GRID_CELL_SIZE = zoom(75) LINE_WIDTH = zoom(2) |