changeset 1585 | 0e3ef435bdc3 |
parent 1581 | 9bb83c7f479b |
child 1599 | c2f95eac652b |
1.1 --- a/gui/all_include.h Fri Jul 22 16:57:07 2005 +0000 1.2 +++ b/gui/all_include.h Mon Jul 25 10:33:03 2005 +0000 1.3 @@ -22,7 +22,7 @@ 1.4 #define RANGE 3 1.5 #define WIN_WIDTH 900 1.6 #define WIN_HEIGHT 600 1.7 -#define ALMOST_ONE 0.99999999999999 1.8 +#define ALMOST_ONE 0.9999999999 1.9 1.10 #ifndef MAIN_PART 1.11 extern std::vector <std::string> edge_property_strings;