diff -r 638124c0ef08 -r d0ccb2fdeeff gui/all_include.h --- a/gui/all_include.h Thu Jun 09 21:49:48 2005 +0000 +++ b/gui/all_include.h Fri Jun 10 11:58:03 2005 +0000 @@ -16,7 +16,8 @@ #include #include -enum {WIDTH, COLOR, TEXT, PROPERTY_NUM};// properties; +enum {WIDTH, COLOR, TEXT, PROPERTY_NUM}; // edge properties; +enum {MOVE, CREATE_NODE, CREATE_EDGE, TOOL_NUM}; // tools; #define RANGE 3 #define WIN_WIDTH 900 #define WIN_HEIGHT 600