gui/map_win.h
changeset 1842 8abf74160dc4
parent 1837 8dd6160ff699
child 1849 a4d1362397fe
equal deleted inserted replaced
12:653bb9b49425 13:8dab9add9308
    38 
    38 
    39     Gtk::Label * label;
    39     Gtk::Label * label;
    40 
    40 
    41   public:
    41   public:
    42 
    42 
    43     MapSelector(std::vector<std::string>, int, bool);
    43     MapSelector(std::vector<std::string>, std::string, int, bool);
    44 
    44 
    45     sigc::signal<void, std::string> signal_cbt_ch();
    45     sigc::signal<void, std::string> signal_cbt_ch();
    46     sigc::signal<void, bool> signal_newmapwin_needed();
    46     sigc::signal<void, bool> signal_newmapwin_needed();
    47 
    47 
    48     void update_list( std::vector<std::string> );
    48     void update_list( std::vector<std::string> );
    77 
    77 
    78 public:
    78 public:
    79   ///Constructor of MapWin creates the widgets shown in MapWin.
    79   ///Constructor of MapWin creates the widgets shown in MapWin.
    80   MapWin(const std::string& title, std::vector<std::string>, std::vector<std::string>, MainWin & mw);
    80   MapWin(const std::string& title, std::vector<std::string>, std::vector<std::string>, MainWin & mw);
    81 
    81 
       
    82   ~MapWin();
       
    83 
       
    84   virtual bool on_delete_event(GdkEventAny *);
       
    85 
    82   void nodeMapChanged(std::string, int);
    86   void nodeMapChanged(std::string, int);
    83 
    87 
    84   void edgeMapChanged(std::string, int);
    88   void edgeMapChanged(std::string, int);
    85 
    89 
    86   void newMapWinNeeded(bool, int);
    90   void newMapWinNeeded(bool, int);