gui/new_map_win.h
changeset 1801 049f42e44dee
parent 1593 a8a007f1c01c
child 1814 0f02ced2e2ba
equal deleted inserted replaced
0:65dc11eb3753 1:320d296c5c6f
    30   ///Therefore this function determines whether to
    30   ///Therefore this function determines whether to
    31   ///call the map/creatort function, and if yes, it
    31   ///call the map/creatort function, and if yes, it
    32   //tells it the attributes.(name, default value)
    32   //tells it the attributes.(name, default value)
    33   virtual void buttonPressed();
    33   virtual void buttonPressed();
    34 
    34 
       
    35   virtual void showByPreChoose(bool);
       
    36 
    35   virtual bool closeIfEscapeIsPressed(GdkEventKey*);
    37   virtual bool closeIfEscapeIsPressed(GdkEventKey*);
    36 
    38 
    37   Gtk::Entry name, default_value;
    39   Gtk::Entry name, default_value;
    38 
    40 
    39   Gtk::VBox vbox;
    41   Gtk::VBox vbox;