main_win.cc
branchgui
changeset 120 9166130d8d56
parent 119 24ff0448d854
child 130 3533c2d9a865
     1.1 --- a/main_win.cc	Wed Jan 11 15:06:17 2006 +0000
     1.2 +++ b/main_win.cc	Wed Jan 11 15:49:06 2006 +0000
     1.3 @@ -457,7 +457,7 @@
     1.4  void MainWin::createNewMapWinTabString(std::string tabname, bool itisedge)
     1.5  {
     1.6    int i=0;
     1.7 -  for(;((i<tabnames.size())&&(tabnames[i]!=tabname));i++)
     1.8 +  for(;((i<(int)tabnames.size())&&(tabnames[i]!=tabname));i++)
     1.9      {
    1.10      }
    1.11    createNewMapWinAfterSignal(tabs[i], itisedge);