diff -r a222eb109e52 -r 39d59aee2a1a gui/all_include.h --- a/gui/all_include.h Thu Jun 16 18:58:15 2005 +0000 +++ b/gui/all_include.h Fri Jun 17 12:25:53 2005 +0000 @@ -17,7 +17,7 @@ #include enum {WIDTH, COLOR, TEXT, PROPERTY_NUM}; // edge properties; -enum {MOVE, CREATE_NODE, CREATE_EDGE, ERASER, TOOL_NUM}; // tools; +enum {MOVE, CREATE_NODE, CREATE_EDGE, ERASER, EDGE_MAP_EDIT, TOOL_NUM}; // tools; #define RANGE 3 #define WIN_WIDTH 900 #define WIN_HEIGHT 600