changeset 1737 | dc821d2668c1 |
parent 1593 | a8a007f1c01c |
child 1814 | 0f02ced2e2ba |
1.1 --- a/gui/new_map_win.h Mon Oct 24 08:12:26 2005 +0000 1.2 +++ b/gui/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;