Changeset 157:76049c9e3d5c
- Timestamp:
- 09/02/13 21:53:11 (7 years ago)
- Branch:
- default
- Phase:
- public
- Rebase:
- 63376465366562303465303935333330383538303939353136643462393532623137316538333132
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tools/area_editor.py
r153 r157 225 225 226 226 def mouse_down(self, ev): 227 if self.cur_poly: 227 if ev.button == 4: # Scroll up 228 self._move_view((0, -10)) 229 elif ev.button == 5: # Scroll down 230 self._move_view((0, 10)) 231 elif ev.button == 6: # Scroll left 232 self._move_view((-10, 0)) 233 elif ev.button == 7: # Scroll right 234 self._move_view((10, 0)) 235 elif self.cur_poly: 228 236 # Add a point 229 237 self.level.add_point(self.cur_poly,
Note:
See TracChangeset
for help on using the changeset viewer.