diff -r 013afe9ee040 -r b465e2c34f23 graph_displayer_canvas.h
--- a/graph_displayer_canvas.h	Wed Jan 10 14:56:16 2007 +0000
+++ b/graph_displayer_canvas.h	Fri Feb 02 10:13:33 2007 +0000
@@ -288,6 +288,8 @@
   bool eraserEventHandler(GdkEvent*);
   ///event handler for the case when map editor tool is active
   bool mapEditEventHandler(GdkEvent*);
+  ///event handler for the case when user scrolls the mouse
+  bool scrollEventHandler(GdkEvent*);
 
 private:
   ///moves node according to the given parameters