branch | gui |
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>);