branch | gui |
changeset 123 | a3781bff1032 |
parent 121 | 637c12cbd64c |
child 146 | afd1d8bfcccd |
1.1 --- a/map_win.cc Thu Jan 12 14:36:08 2006 +0000 1.2 +++ b/map_win.cc Thu Jan 12 15:24:24 2006 +0000 1.3 @@ -62,10 +62,6 @@ 1.4 1.5 } 1.6 1.7 -MapWin::~MapWin() 1.8 -{ 1.9 -} 1.10 - 1.11 void MapWin::nodeMapChanged(std::string mapname, int prop) 1.12 { 1.13 mytab.propertyChange(false, prop, mapname);