gui/map_win.h
changeset 1891 56a718d144c4
parent 1882 2c3f6c7e01b4
child 1893 4a35c7847c77
     1.1 --- a/gui/map_win.h	Wed Jan 11 15:49:06 2006 +0000
     1.2 +++ b/gui/map_win.h	Thu Jan 12 13:28:54 2006 +0000
     1.3 @@ -39,7 +39,7 @@
     1.4  
     1.5    void edgeMapChanged(std::string, int);
     1.6  
     1.7 -  void newMapWinNeeded(bool, int);
     1.8 +  void newMapWinNeeded(bool);
     1.9  
    1.10    ///This function inserts name of the new edgemap in the list in the combo box
    1.11    void registerNewEdgeMap(std::string);