Changeset 157:76049c9e3d5c

Timestamp:

09/02/13 21:53:11 (8 years ago)

Author:

Stefano Rivera <stefano@…>

Branch:

default

Phase:

public

Rebase:

63376465366562303465303935333330383538303939353136643462393532623137316538333132

Message:

Scroll wheel

File:

• tools/area_editor.py (modified) (1 diff)

tools/area_editor.py

@@ -225 +225 @@
 
     def mouse_down(self, ev):
-        if self.cur_poly:
+        if ev.button == 4:  # Scroll up
+            self._move_view((0, -10))
+        elif ev.button == 5:  # Scroll down
+            self._move_view((0, 10))
+        elif ev.button == 6:  # Scroll left
+            self._move_view((-10, 0))
+        elif ev.button == 7:  # Scroll right
+            self._move_view((10, 0))
+        elif self.cur_poly:
             # Add a point
             self.level.add_point(self.cur_poly,