--- a/tools/area_editor.py	Mon Sep 02 23:52:24 2013 +0200
+++ b/tools/area_editor.py	Mon Sep 02 23:53:11 2013 +0200
@@ -224,7 +224,15 @@
             self.invalidate()
 
     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,
                                  self._level_coordinates(ev.pos))