diff -r cf4bc8d477f4 -r 0e3ef435bdc3 gui/all_include.h --- a/gui/all_include.h Fri Jul 22 16:57:07 2005 +0000 +++ b/gui/all_include.h Mon Jul 25 10:33:03 2005 +0000 @@ -22,7 +22,7 @@ #define RANGE 3 #define WIN_WIDTH 900 #define WIN_HEIGHT 600 -#define ALMOST_ONE 0.99999999999999 +#define ALMOST_ONE 0.9999999999 #ifndef MAIN_PART extern std::vector edge_property_strings;