diff -r 8db44e105187 -r f70bbee5350a edit_win.h
--- a/edit_win.h	Wed Jun 29 12:52:20 2005 +0000
+++ b/edit_win.h	Wed Jun 29 15:41:33 2005 +0000
@@ -29,7 +29,7 @@
   ///Constructor of EditWin creates the widgets shown in EditWin.
   EditWin(const std::string& title, GraphDisplayerCanvas &);
 
-  virtual bool close_if_escape_is_pressed(GdkEventKey*);
+  virtual bool closeIfEscapeIsPressed(GdkEventKey*);
 
   ///Callback function in case of button pression.
   ///It changes the actual tool ins editor's hand.