diff -r 8bf39d55b1db -r 4dcbb4ab1d7a gui/all_include.h --- a/gui/all_include.h Tue Jul 12 16:19:06 2005 +0000 +++ b/gui/all_include.h Tue Jul 12 18:21:49 2005 +0000 @@ -18,7 +18,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 {MOVE, CREATE_NODE, CREATE_EDGE, ERASER, EDGE_MAP_EDIT, TOOL_NUM}; // tools; +enum {MOVE, CREATE_NODE, CREATE_EDGE, ERASER, EDGE_MAP_EDIT, NODE_MAP_EDIT, TOOL_NUM}; // tools; #define RANGE 3 #define WIN_WIDTH 900 #define WIN_HEIGHT 600