graph_displayer_canvas.h
branchgui
changeset 25 c45a34eaa118
parent 21 44bb92014108
child 28 fa28f1071bd6
     1.1 --- a/graph_displayer_canvas.h	Fri Jun 17 15:41:48 2005 +0000
     1.2 +++ b/graph_displayer_canvas.h	Fri Jun 17 17:08:45 2005 +0000
     1.3 @@ -56,6 +56,7 @@
     1.4    ///This function is responsible for the correct
     1.5    ///reaction of any action happened in the territory
     1.6    ///of the canvas
     1.7 +  ///DEPRECATED!!!!
     1.8    bool event_handler(GdkEvent* e, Node n);
     1.9  
    1.10    ///actual event handler
    1.11 @@ -75,6 +76,12 @@
    1.12    bool edge_map_edit_event_handler(GdkEvent*);
    1.13  
    1.14  public:
    1.15 +  ///Moves the text to new place
    1.16 +  void text_reposition(xy<double>);
    1.17 +  ///Activates an edge belonging to a BrokenEdge
    1.18 +  void toggle_edge_activity(BrokenEdge*, bool);
    1.19 +
    1.20 +public:
    1.21    ///\return the actual tool in hand
    1.22    int get_actual_tool();
    1.23