diff -r 35f667e7dd7e -r dc821d2668c1 gui/new_map_win.h
--- a/gui/new_map_win.h	Mon Oct 24 08:12:26 2005 +0000
+++ b/gui/new_map_win.h	Mon Oct 24 10:15:40 2005 +0000
@@ -32,6 +32,8 @@
   //tells it the attributes.(name, default value)
   virtual void buttonPressed();
 
+  virtual void showByPreChoose(bool);
+
   virtual bool closeIfEscapeIsPressed(GdkEventKey*);
 
   Gtk::Entry name, default_value;