branch | gui |
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;