1.1 --- a/edit_win.h	Wed Jun 29 12:52:20 2005 +0000
     1.2 +++ b/edit_win.h	Wed Jun 29 15:41:33 2005 +0000
     1.3 @@ -29,7 +29,7 @@
     1.4    ///Constructor of EditWin creates the widgets shown in EditWin.
     1.5    EditWin(const std::string& title, GraphDisplayerCanvas &);
     1.6  
     1.7 -  virtual bool close_if_escape_is_pressed(GdkEventKey*);
     1.8 +  virtual bool closeIfEscapeIsPressed(GdkEventKey*);
     1.9  
    1.10    ///Callback function in case of button pression.
    1.11    ///It changes the actual tool ins editor's hand.