graph_displayer_canvas.h
branchgui
changeset 26 b0c76a4d5801
parent 21 44bb92014108
child 28 fa28f1071bd6
equal deleted inserted replaced
11:6aba1e061eb8 12:4e1e861d2361
    54 private:
    54 private:
    55 
    55 
    56   ///This function is responsible for the correct
    56   ///This function is responsible for the correct
    57   ///reaction of any action happened in the territory
    57   ///reaction of any action happened in the territory
    58   ///of the canvas
    58   ///of the canvas
       
    59   ///DEPRECATED!!!!
    59   bool event_handler(GdkEvent* e, Node n);
    60   bool event_handler(GdkEvent* e, Node n);
    60 
    61 
    61   ///actual event handler
    62   ///actual event handler
    62   ///
    63   ///
    63   ///Actual event handler should be stored, to be able to disconnect it and later reconnect it.
    64   ///Actual event handler should be stored, to be able to disconnect it and later reconnect it.
    71   bool create_edge_event_handler(GdkEvent*);
    72   bool create_edge_event_handler(GdkEvent*);
    72   ///event handler for the case when eraser-tool is active
    73   ///event handler for the case when eraser-tool is active
    73   bool eraser_event_handler(GdkEvent*);
    74   bool eraser_event_handler(GdkEvent*);
    74   ///event handler for the case when eraser-tool is active
    75   ///event handler for the case when eraser-tool is active
    75   bool edge_map_edit_event_handler(GdkEvent*);
    76   bool edge_map_edit_event_handler(GdkEvent*);
       
    77 
       
    78 public:
       
    79   ///Moves the text to new place
       
    80   void text_reposition(xy<double>);
       
    81   ///Activates an edge belonging to a BrokenEdge
       
    82   void toggle_edge_activity(BrokenEdge*, bool);
    76 
    83 
    77 public:
    84 public:
    78   ///\return the actual tool in hand
    85   ///\return the actual tool in hand
    79   int get_actual_tool();
    86   int get_actual_tool();
    80 
    87