1.1 --- a/gui/edit_win.cc Wed Jun 29 12:52:20 2005 +0000
1.2 +++ b/gui/edit_win.cc Wed Jun 29 15:41:33 2005 +0000
1.3 @@ -1,7 +1,7 @@
1.4 #include <edit_win.h>
1.5 #include <set>
1.6
1.7 -bool EditWin::close_if_escape_is_pressed(GdkEventKey* e)
1.8 +bool EditWin::closeIfEscapeIsPressed(GdkEventKey* e)
1.9 {
1.10 if(e->keyval==GDK_Escape)
1.11 {
1.12 @@ -15,7 +15,7 @@
1.13 set_title(title);
1.14 set_default_size(200, 50);
1.15 set_keep_above(true);
1.16 - signal_key_press_event().connect(sigc::mem_fun(*this, &EditWin::close_if_escape_is_pressed));
1.17 + signal_key_press_event().connect(sigc::mem_fun(*this, &EditWin::closeIfEscapeIsPressed));
1.18
1.19 //buttons array
1.20 buttons=new Gtk::RadioButton * [TOOL_NUM];