diff -r d6b95a59da26 -r e54392395480 gui/graph-displayer.cc
--- a/gui/graph-displayer.cc	Fri Jun 24 08:44:54 2005 +0000
+++ b/gui/graph-displayer.cc	Fri Jun 24 18:16:12 2005 +0000
@@ -6,8 +6,10 @@
 
 #define MAIN_PART
 
-std::vector <std::string> property_strings;
-std::vector <double> property_defaults;
+std::vector <std::string> edge_property_strings;
+std::vector <double> edge_property_defaults;
+std::vector <std::string> node_property_strings;
+std::vector <double> node_property_defaults;
 
 
 int main(int argc, char *argv[])
@@ -15,15 +17,25 @@
 
   //initializing
 
-  property_strings.resize(PROPERTY_NUM);
-  property_strings[WIDTH]="Width";
-  property_strings[COLOR]="Color";
-  property_strings[TEXT]="Text";
+  edge_property_strings.resize(EDGE_PROPERTY_NUM);
+  edge_property_strings[E_WIDTH]="Edge Width";
+  edge_property_strings[E_COLOR]="Edge Color";
+  edge_property_strings[E_TEXT]="Edge Text";
 
-  property_defaults.resize(PROPERTY_NUM);
-  property_defaults[WIDTH]=10.0;
-  property_defaults[COLOR]=100;
-  property_defaults[TEXT]=0;
+  edge_property_defaults.resize(EDGE_PROPERTY_NUM);
+  edge_property_defaults[E_WIDTH]=10.0;
+  edge_property_defaults[E_COLOR]=100;
+  edge_property_defaults[E_TEXT]=0;
+
+  node_property_strings.resize(NODE_PROPERTY_NUM);
+  node_property_strings[N_RADIUS]="Node Radius";
+  node_property_strings[N_COLOR]="Node Color";
+  node_property_strings[N_TEXT]="Node Text";
+
+  node_property_defaults.resize(NODE_PROPERTY_NUM);
+  node_property_defaults[N_RADIUS]=20.0;
+  node_property_defaults[N_COLOR]=100;
+  node_property_defaults[N_TEXT]=0;
 
   if(argc<2)
   {