changeset 423:eb1a4a269d37

Tweak button layout
author Neil Muller <drnlmuller@gmail.com>
date Sat, 07 Sep 2013 13:05:41 +0200
parents 6925f540a0c6
children a64d894aa1bd
files tools/area_editor.py
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/tools/area_editor.py	Sat Sep 07 13:00:31 2013 +0200
+++ b/tools/area_editor.py	Sat Sep 07 13:05:41 2013 +0200
@@ -39,7 +39,7 @@
 
 # layout constants
 MENU_BUTTON_HEIGHT = 35
-MENU_PAD = 6
+MENU_PAD = 4
 MENU_HALF_PAD = MENU_PAD // 2
 MENU_LEFT = SCREEN[0] + MENU_HALF_PAD
 MENU_WIDTH = 200 - MENU_PAD
@@ -894,7 +894,7 @@
         white = pygame.color.Color("white")
 
         # Add poly buttons
-        y = 15
+        y = 5
         for poly in range(1, 7):
             but = PolyButton(poly, self.level_widget, self)
             but.rect = pygame.rect.Rect(0, 0, MENU_WIDTH // 2 - MENU_PAD,
@@ -920,6 +920,7 @@
         self.move_point_but.rect.move_ip(MENU_LEFT, y)
         widgets.append(self.move_point_but)
         self._light_buttons.append(self.move_point_but)
+        y += MENU_BUTTON_HEIGHT + MENU_PAD
 
         # grid size widgets
         grid_size_label = GridSizeLabel(