equal
deleted
inserted
replaced
20 enum {N_RADIUS, N_COLOR, N_TEXT, NODE_PROPERTY_NUM}; // node properties; |
20 enum {N_RADIUS, N_COLOR, N_TEXT, NODE_PROPERTY_NUM}; // node properties; |
21 enum {MOVE, CREATE_NODE, CREATE_EDGE, ERASER, EDGE_MAP_EDIT, NODE_MAP_EDIT, TOOL_NUM}; // tools; |
21 enum {MOVE, CREATE_NODE, CREATE_EDGE, ERASER, EDGE_MAP_EDIT, NODE_MAP_EDIT, TOOL_NUM}; // tools; |
22 #define RANGE 3 |
22 #define RANGE 3 |
23 #define WIN_WIDTH 900 |
23 #define WIN_WIDTH 900 |
24 #define WIN_HEIGHT 600 |
24 #define WIN_HEIGHT 600 |
25 #define ALMOST_ONE 0.99999999999999 |
25 #define ALMOST_ONE 0.9999999999 |
26 |
26 |
27 #ifndef MAIN_PART |
27 #ifndef MAIN_PART |
28 extern std::vector <std::string> edge_property_strings; |
28 extern std::vector <std::string> edge_property_strings; |
29 extern std::vector <double> edge_property_defaults; |
29 extern std::vector <double> edge_property_defaults; |
30 extern std::vector <std::string> node_property_strings; |
30 extern std::vector <std::string> node_property_strings; |