gui/main_win.cc
changeset 1889 edcb68a93a95
parent 1884 9c061834b33b
child 1890 4a583e07d4b8
     1.1 --- a/gui/main_win.cc	Tue Jan 10 15:15:57 2006 +0000
     1.2 +++ b/gui/main_win.cc	Wed Jan 11 15:06:17 2006 +0000
     1.3 @@ -323,10 +323,6 @@
     1.4    set_title(tabnames[active_tab]);
     1.5  }
     1.6  
     1.7 -void MainWin::onCloseTab()
     1.8 -{
     1.9 -}
    1.10 -
    1.11  void MainWin::newFile()
    1.12  {
    1.13    if(active_tab!=-1)
    1.14 @@ -432,7 +428,6 @@
    1.15    for(;(i<(int)tabnames.size())&&(tabnames[i]!=tabname);i++)
    1.16      {
    1.17      }
    1.18 -  //awp->update_maplist(tabs[i]->mapstorage.getNodeMapList(),tabs[i]->mapstorage.getEdgeMapList());
    1.19    awp->update_maplist(&(tabs[i]->mapstorage));
    1.20  }
    1.21