kruskalbox.cc
branchgui
changeset 113 7c2e71835de7
parent 110 99935b512b1c
child 114 0ace7edbb06f
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);