new_map_win.h
branchgui
changeset 85 0b2217328320
parent 42 f1b70894b953
child 88 c397e85ec555
     1.1 --- a/new_map_win.h	Mon Oct 24 08:12:26 2005 +0000
     1.2 +++ b/new_map_win.h	Mon Oct 24 10:15:40 2005 +0000
     1.3 @@ -32,6 +32,8 @@
     1.4    //tells it the attributes.(name, default value)
     1.5    virtual void buttonPressed();
     1.6  
     1.7 +  virtual void showByPreChoose(bool);
     1.8 +
     1.9    virtual bool closeIfEscapeIsPressed(GdkEventKey*);
    1.10  
    1.11    Gtk::Entry name, default_value;