gui/mapselector.h
changeset 1808 c499025ca638
parent 1733 5e0d97823ba2
equal deleted inserted replaced
1:e5bb6eecc3db 2:4da8f90f90af
    24 
    24 
    25   bool itisedge;
    25   bool itisedge;
    26 
    26 
    27   bool default_state;
    27   bool default_state;
    28 
    28 
       
    29   bool set_new_map;
       
    30 
    29   Gtk::ComboBoxText cbt;
    31   Gtk::ComboBoxText cbt;
    30 
    32 
    31   Gtk::Button * newbut, * defbut;
    33   Gtk::Button * newbut, * defbut;
    32 
    34 
    33   Gtk::HBox hbox;
    35   Gtk::HBox hbox;
    48   ///which button was that and after that calls the
    50   ///which button was that and after that calls the
    49   ///appropriate function of the \ref GraphDisplayerCanvas
    51   ///appropriate function of the \ref GraphDisplayerCanvas
    50   ///to change the visible values of that attribute.
    52   ///to change the visible values of that attribute.
    51   virtual void comboChanged();
    53   virtual void comboChanged();
    52 
    54 
       
    55   virtual void new_but_pressed();
       
    56 
    53   virtual void reset();
    57   virtual void reset();
    54 
    58 
    55   virtual void update(Node node);
    59   virtual void update(Node node);
    56   virtual void update(Edge edge);
    60   virtual void update(Edge edge);
    57 
    61