gui/map_win.cc
changeset 1920 e9e27c5a53bf
parent 1891 56a718d144c4
equal deleted inserted replaced
23:0566c03936fa 24:af91535238ed
    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