# HG changeset patch # User hegyi # Date 1122030267 0 # Node ID 9bb83c7f479bb2e9484ce0ca124c6c5a567bbe20 # Parent a9e4208cf4e353f945742962e35b30041cc2e544 There were bugs, created yesterday, and there is still one. (I hope only one :) ) diff -r a9e4208cf4e3 -r 9bb83c7f479b gui/all_include.h --- a/gui/all_include.h Fri Jul 22 09:41:20 2005 +0000 +++ b/gui/all_include.h Fri Jul 22 11:04:27 2005 +0000 @@ -22,7 +22,7 @@ #define RANGE 3 #define WIN_WIDTH 900 #define WIN_HEIGHT 600 - +#define ALMOST_ONE 0.99999999999999 #ifndef MAIN_PART extern std::vector edge_property_strings; diff -r a9e4208cf4e3 -r 9bb83c7f479b gui/graph_displayer_canvas-edge.cc --- a/gui/graph_displayer_canvas-edge.cc Fri Jul 22 09:41:20 2005 +0000 +++ b/gui/graph_displayer_canvas-edge.cc Fri Jul 22 11:04:27 2005 +0000 @@ -136,6 +136,10 @@ { if(j!=length) { + if((number-(int)number)>ALMOST_ONE) + { + number=round(number); + } int digit=(int)(number/maxpos); str[j]=(digit+'0'); number-=digit*maxpos; @@ -174,6 +178,10 @@ { if(j!=length) { + if((number-(int)number)>ALMOST_ONE) + { + number=round(number); + } int digit=(int)(number/maxpos); str[j]=(digit+'0'); number-=digit*maxpos; diff -r a9e4208cf4e3 -r 9bb83c7f479b gui/graph_displayer_canvas-node.cc --- a/gui/graph_displayer_canvas-node.cc Fri Jul 22 09:41:20 2005 +0000 +++ b/gui/graph_displayer_canvas-node.cc Fri Jul 22 11:04:27 2005 +0000 @@ -135,7 +135,7 @@ //in that case empty string will be written, because //that is the deleter map - Graph::NodeMap * actual_map; + Graph::NodeMap * actual_map=NULL; if(mapname!="Default") { actual_map=(mapstorage.nodemap_storage)[mapname]; @@ -165,7 +165,14 @@ { if(j!=length) { - int digit=(int)round(number/maxpos); +// std::cout << (number) << "-" << (int)number << "=" << (number)-(int)number << std::endl; + if((number-(int)number)>ALMOST_ONE) + { +// std::cout<<"rounding: " <