gui/map_win.h
changeset 1892 1d384b30157f
parent 1882 2c3f6c7e01b4
child 1893 4a35c7847c77
equal deleted inserted replaced
15:5d9dc61aca5a 16:9ce2a6f9180a
    37 
    37 
    38   void nodeMapChanged(std::string, int);
    38   void nodeMapChanged(std::string, int);
    39 
    39 
    40   void edgeMapChanged(std::string, int);
    40   void edgeMapChanged(std::string, int);
    41 
    41 
    42   void newMapWinNeeded(bool, int);
    42   void newMapWinNeeded(bool);
    43 
    43 
    44   ///This function inserts name of the new edgemap in the list in the combo box
    44   ///This function inserts name of the new edgemap in the list in the combo box
    45   void registerNewEdgeMap(std::string);
    45   void registerNewEdgeMap(std::string);
    46 
    46 
    47   ///This function inserts name of the new nodemap in the list in the combo box
    47   ///This function inserts name of the new nodemap in the list in the combo box