nbtab.cc
branchgui
changeset 121 637c12cbd64c
parent 108 bf355fd6563e
child 136 924607a2d4a1
     1.1 --- a/nbtab.cc	Wed Jan 11 15:49:06 2006 +0000
     1.2 +++ b/nbtab.cc	Thu Jan 12 13:28:54 2006 +0000
     1.3 @@ -164,9 +164,8 @@
     1.4    return signal_newmap;
     1.5  }
     1.6  
     1.7 -void NoteBookTab::popupNewMapWin(bool itisedge, int prop)
     1.8 +void NoteBookTab::popupNewMapWin(bool itisedge)
     1.9  {
    1.10 -  prop=prop;
    1.11    signal_newmap.emit(this, itisedge);
    1.12  }
    1.13