gui/main_win.h
changeset 1862 d47ebd34e581
parent 1849 a4d1362397fe
child 1871 3905d347112c
equal deleted inserted replaced
16:5076027519e1 17:93d41c52e0de
    72   virtual void createNewMapWin();
    72   virtual void createNewMapWin();
    73 
    73 
    74   //Notebook handlers
    74   //Notebook handlers
    75   ///Callback for 'FileNewTab' action.
    75   ///Callback for 'FileNewTab' action.
    76   virtual void newTab();
    76   virtual void newTab();
       
    77   virtual void closeTab();
    77   virtual void onChangeTab(GtkNotebookPage*, guint);
    78   virtual void onChangeTab(GtkNotebookPage*, guint);
    78   virtual void onCloseTab();
    79   virtual void onCloseTab();
    79 
    80 
    80 
    81 
    81 };
    82 };