diff -r 2cac5b936a2b -r af2ed974ab68 all_include.h --- a/all_include.h Tue Feb 20 17:45:44 2007 +0000 +++ b/all_include.h Tue Feb 27 17:18:19 2007 +0000 @@ -34,6 +34,7 @@ enum {E_WIDTH, E_COLOR, E_TEXT, EDGE_PROPERTY_NUM}; // edge properties; enum {N_RADIUS, N_COLOR, N_TEXT, NODE_PROPERTY_NUM}; // node properties; +enum {N_MAPS, E_MAPS, ARROWS, PAR, EPS_PROPERTY_NUM}; // eps properties; enum {MOVE, CREATE_NODE, CREATE_EDGE, ERASER, MAP_EDIT, TOOL_NUM}; // tools; #define RANGE 3 #define WIN_WIDTH 900