map_win.cc
branchgui
changeset 123 a3781bff1032
parent 121 637c12cbd64c
child 146 afd1d8bfcccd
equal deleted inserted replaced
23:3ff01476968b 24:aa4f9fb053e7
    60 
    60 
    61   show_all_children();
    61   show_all_children();
    62 
    62 
    63 }
    63 }
    64 
    64 
    65 MapWin::~MapWin()
       
    66 {
       
    67 }
       
    68 
       
    69 void MapWin::nodeMapChanged(std::string mapname, int prop)
    65 void MapWin::nodeMapChanged(std::string mapname, int prop)
    70 {
    66 {
    71   mytab.propertyChange(false, prop, mapname);
    67   mytab.propertyChange(false, prop, mapname);
    72 }
    68 }
    73 
    69