Changeset 423:eb1a4a269d37


Ignore:
Timestamp:
09/07/13 11:05:41 (8 years ago)
Author:
Neil Muller <drnlmuller@…>
Branch:
default
Phase:
public
Message:

Tweak button layout

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/area_editor.py

    • Property exe set to *
    r422 r423  
    4040# layout constants
    4141MENU_BUTTON_HEIGHT = 35
    42 MENU_PAD = 6
     42MENU_PAD = 4
    4343MENU_HALF_PAD = MENU_PAD // 2
    4444MENU_LEFT = SCREEN[0] + MENU_HALF_PAD
     
    895895
    896896        # Add poly buttons
    897         y = 15
     897        y = 5
    898898        for poly in range(1, 7):
    899899            but = PolyButton(poly, self.level_widget, self)
     
    921921        widgets.append(self.move_point_but)
    922922        self._light_buttons.append(self.move_point_but)
     923        y += MENU_BUTTON_HEIGHT + MENU_PAD
    923924
    924925        # grid size widgets
Note: See TracChangeset for help on using the changeset viewer.