graph_displayer_canvas.h
branchgui
changeset 34 2cb1fc37f742
parent 32 1f45545f124c
child 35 79bffdf6aea2
     1.1 --- a/graph_displayer_canvas.h	Tue Jul 12 21:45:39 2005 +0000
     1.2 +++ b/graph_displayer_canvas.h	Fri Jul 15 21:17:18 2005 +0000
     1.3 @@ -90,6 +90,9 @@
     1.4    ///event handler for the case when node map editor tool is active
     1.5    bool nodeMapEditEventHandler(GdkEvent*);
     1.6  
     1.7 +  ///event handler for the case when the entry widget is changed
     1.8 +  bool entryWidgetChangeHandler(GdkEvent*);
     1.9 +
    1.10  public:
    1.11    ///Moves the text to new place
    1.12    void textReposition(xy<double>);