main_win.h
branchgui
changeset 114 0ace7edbb06f
parent 106 853dd852abc7
child 119 24ff0448d854
     1.1 --- a/main_win.h	Fri Jan 06 14:44:04 2006 +0000
     1.2 +++ b/main_win.h	Fri Jan 06 16:07:08 2006 +0000
     1.3 @@ -79,6 +79,7 @@
     1.4    virtual void changeEditorialTool(int);
     1.5  
     1.6    virtual void createNewMapWinAfterSignal(NoteBookTab *, bool);
     1.7 +  virtual void createNewMapWinTabString(std::string, bool);
     1.8    virtual void createNewMapWin();
     1.9  
    1.10    //Notebook handlers