gui/graph_displayer_canvas.h
changeset 1510 cde847387b5a
parent 1501 39d59aee2a1a
child 1512 e54392395480
equal deleted inserted replaced
11:49f494de91c2 12:beafb2a3fd1d
    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