gui/all_include.h
changeset 1642 a2dda876316f
parent 1585 0e3ef435bdc3
child 1643 9285f3777553
equal deleted inserted replaced
9:3b1f867771d1 10:b3f49ce5222d
    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.9999999999
    25 #define MIN_EDGE_WIDTH 2
       
    26 #define MAX_EDGE_WIDTH 40
       
    27 #define MIN_NODE_RADIUS 2
       
    28 #define MAX_NODE_RADIUS 80
    26 
    29 
    27 #ifndef MAIN_PART
    30 #ifndef MAIN_PART
    28 extern std::vector <std::string> edge_property_strings;
    31 extern std::vector <std::string> edge_property_strings;
    29 extern std::vector <double> edge_property_defaults;
    32 extern std::vector <double> edge_property_defaults;
    30 extern std::vector <std::string> node_property_strings;
    33 extern std::vector <std::string> node_property_strings;