gui/kruskalbox.cc
changeset 1882 2c3f6c7e01b4
parent 1880 0d6da6e6a775
child 1884 9c061834b33b
equal deleted inserted replaced
3:93943a56ad77 4:c36dfa43f082
    30   }
    30   }
    31 
    31 
    32   std::ostringstream o;
    32   std::ostringstream o;
    33   o << "Result: " << res;
    33   o << "Result: " << res;
    34   resultlabel.set_text(o.str());
    34   resultlabel.set_text(o.str());
       
    35 
       
    36   mapstorage->mapChanged(true, (edgemapcbts[OUTPUT])->get_active_text());
       
    37   //   mapstorage->changeActiveMap(true, E_COLOR,
       
    38   // 			      (edgemapcbts[OUTPUT])->get_active_text());
       
    39   //   mapstorage->changeActiveMap(true, E_TEXT,
       
    40   // 			      (edgemapcbts[INPUT])->get_active_text());
    35   
    41   
    36   mapstorage->changeActiveMap(true, E_COLOR,
       
    37 			      (edgemapcbts[OUTPUT])->get_active_text());
       
    38   mapstorage->changeActiveMap(true, E_TEXT,
       
    39 			      (edgemapcbts[INPUT])->get_active_text());
       
    40 }
    42 }
    41     
    43     
    42 void KruskalBox::build_box()
    44 void KruskalBox::build_box()
    43 {
    45 {
    44   edgemapcbts.resize(MAP_NUM);
    46   edgemapcbts.resize(MAP_NUM);