Changeset 157:76049c9e3d5c


Ignore:
Timestamp:
Sep 2, 2013, 9:53:11 PM (7 years ago)
Author:
Stefano Rivera <stefano@…>
Branch:
default
rebase_source:
c7de6eb04e095330858099516d4b952b171e8312
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.