main_win.h
branchgui
changeset 97 23f0afd1a323
parent 96 e664d8aa3f72
child 103 3a263e57e1d9
     1.1 --- a/main_win.h	Tue Dec 06 10:53:38 2005 +0000
     1.2 +++ b/main_win.h	Thu Dec 08 14:16:08 2005 +0000
     1.3 @@ -74,6 +74,7 @@
     1.4    //Notebook handlers
     1.5    ///Callback for 'FileNewTab' action.
     1.6    virtual void newTab();
     1.7 +  virtual void closeTab();
     1.8    virtual void onChangeTab(GtkNotebookPage*, guint);
     1.9    virtual void onCloseTab();
    1.10