edit_win.cc
branchgui
changeset 30 f70bbee5350a
parent 15 e8c21454f125
     1.1 --- a/edit_win.cc	Wed Jun 29 12:52:20 2005 +0000
     1.2 +++ b/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];