# HG changeset patch
# User Neil Muller <drnlmuller@gmail.com>
# Date 1378551631 -7200
# Node ID 6925f540a0c64f37539cbcb8ca301bf8d8cf2545
# Parent  2cb12311fedcf48724d6670e183c0b34d9de0f80
Tweak zoom button layout

diff -r 2cb12311fedc -r 6925f540a0c6 tools/area_editor.py
--- a/tools/area_editor.py	Sat Sep 07 13:00:36 2013 +0200
+++ b/tools/area_editor.py	Sat Sep 07 13:00:31 2013 +0200
@@ -993,13 +993,14 @@
 
         zoom_out = Button('Zoom out', action=self.level_widget.zoom_out)
         zoom_out.rect = BUTTON_RECT.copy()
+        zoom_out.rect.width = zoom_out.rect.width // 2
         zoom_out.rect.move_ip(MENU_LEFT, y)
         widgets.append(zoom_out)
-        y += MENU_BUTTON_HEIGHT + MENU_PAD
 
         zoom_in = Button('Zoom in', action=self.level_widget.zoom_in)
         zoom_in.rect = BUTTON_RECT.copy()
-        zoom_in.rect.move_ip(MENU_LEFT, y)
+        zoom_in.width = zoom_in.width // 2
+        zoom_in.rect.move_ip(MENU_LEFT + zoom_out.width, y)
         widgets.append(zoom_in)
 
         y = SCREEN[1] - MENU_BUTTON_HEIGHT - MENU_PAD
@@ -1075,14 +1076,16 @@
 
         zoom_out = Button('Zoom out', action=self.level_widget.zoom_out)
         zoom_out.rect = BUTTON_RECT.copy()
+        zoom_out.rect.width = zoom_out.rect.width // 2
         zoom_out.rect.move_ip(MENU_LEFT, y)
         widgets.append(zoom_out)
-        y += MENU_BUTTON_HEIGHT + MENU_PAD
 
         zoom_in = Button('Zoom in', action=self.level_widget.zoom_in)
         zoom_in.rect = BUTTON_RECT.copy()
-        zoom_in.rect.move_ip(MENU_LEFT, y)
+        zoom_in.width = zoom_in.width // 2
+        zoom_in.rect.move_ip(MENU_LEFT + zoom_out.width, y)
         widgets.append(zoom_in)
+        y += MENU_BUTTON_HEIGHT + MENU_PAD
 
         y = SCREEN[1] - MENU_BUTTON_HEIGHT - MENU_PAD
         quit_but = Button('Quit', action=self.quit)