Changeset 117:9f3557e4833a
- Timestamp:
- 09/02/13 13:29:37 (7 years ago)
- Branch:
- default
- Phase:
- public
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tools/area_editor.py
r116 r117 168 168 self.level.delete_point(self.cur_poly) 169 169 elif ev.key == pgl.K_f: 170 if level.all_closed(): 171 self.cur_poly = None 172 self.filled_mode = True 173 else: 174 print 'Not all polygons closed, so not filling' 170 self.set_filled() 171 172 def set_filled(self): 173 if level.all_closed(): 174 self.cur_poly = None 175 self.filled_mode = True 176 else: 177 print 'Not all polygons closed, so not filling' 175 178 176 179 def mouse_move(self, ev): … … 230 233 end_poly_but.rect.move_ip(MENU_LEFT, y) 231 234 self.add(end_poly_but) 235 y += MENU_BUTTON_HEIGHT + MENU_PAD 236 237 fill_but = Button('Fill exterior', action=self.level_widget.set_filled) 238 fill_but.rect = pygame.rect.Rect(0, 0, MENU_WIDTH, MENU_BUTTON_HEIGHT) 239 fill_but.rect.move_ip(MENU_LEFT, y) 240 self.add(fill_but) 232 241 y += MENU_BUTTON_HEIGHT + MENU_PAD 233 242
Note:
See TracChangeset
for help on using the changeset viewer.