kruskalbox.cc
branchgui
changeset 111 ab3107255754
parent 110 99935b512b1c
child 114 0ace7edbb06f
     1.1 --- a/kruskalbox.cc	Fri Jan 06 10:42:58 2006 +0000
     1.2 +++ b/kruskalbox.cc	Fri Jan 06 13:58:49 2006 +0000
     1.3 @@ -32,11 +32,13 @@
     1.4    std::ostringstream o;
     1.5    o << "Result: " << res;
     1.6    resultlabel.set_text(o.str());
     1.7 +
     1.8 +  mapstorage->mapChanged(true, (edgemapcbts[OUTPUT])->get_active_text());
     1.9 +  //   mapstorage->changeActiveMap(true, E_COLOR,
    1.10 +  // 			      (edgemapcbts[OUTPUT])->get_active_text());
    1.11 +  //   mapstorage->changeActiveMap(true, E_TEXT,
    1.12 +  // 			      (edgemapcbts[INPUT])->get_active_text());
    1.13    
    1.14 -  mapstorage->changeActiveMap(true, E_COLOR,
    1.15 -			      (edgemapcbts[OUTPUT])->get_active_text());
    1.16 -  mapstorage->changeActiveMap(true, E_TEXT,
    1.17 -			      (edgemapcbts[INPUT])->get_active_text());
    1.18  }
    1.19      
    1.20  void KruskalBox::build_box()