gui/all_include.h
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;