Changeset 157:76049c9e3d5c


Ignore:
Timestamp:
09/02/13 21:53:11 (8 years ago)
Author:
Stefano Rivera <stefano@…>
Branch:
default
Phase:
public
Rebase:
63376465366562303465303935333330383538303939353136643462393532623137316538333132
Message:

Scroll wheel

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/area_editor.py

    r153 r157  
    225225
    226226    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:
    228236            # Add a point
    229237            self.level.add_point(self.cur_poly,
Note: See TracChangeset for help on using the changeset viewer.