Changeset 157:76049c9e3d5c

Timestamp:

Sep 2, 2013, 9:53:11 PM (7 years ago)

Author:

Stefano Rivera <stefano@…>

Branch:

default

rebase_source:

c7de6eb04e095330858099516d4b952b171e8312

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,