graph_displayer_canvas.h
changeset 192 9d7489e8921e
parent 184 4e8704aae278
child 194 6b2b718420eb
equal deleted inserted replaced
48:3aa1d526bec7 49:bf527fcb4563
   286   bool createEdgeEventHandler(GdkEvent*);
   286   bool createEdgeEventHandler(GdkEvent*);
   287   ///event handler for the case when eraser-tool is active
   287   ///event handler for the case when eraser-tool is active
   288   bool eraserEventHandler(GdkEvent*);
   288   bool eraserEventHandler(GdkEvent*);
   289   ///event handler for the case when map editor tool is active
   289   ///event handler for the case when map editor tool is active
   290   bool mapEditEventHandler(GdkEvent*);
   290   bool mapEditEventHandler(GdkEvent*);
       
   291   ///event handler for the case when user scrolls the mouse
       
   292   bool scrollEventHandler(GdkEvent*);
   291 
   293 
   292 private:
   294 private:
   293   ///moves node according to the given parameters
   295   ///moves node according to the given parameters
   294   void moveNode(double, double,  Gnome::Canvas::Item * item=NULL, Node node=INVALID);
   296   void moveNode(double, double,  Gnome::Canvas::Item * item=NULL, Node node=INVALID);
   295 
   297