diff -r 231191361de5 -r 5ad61c33487c graph-displayer.cc
--- a/graph-displayer.cc	Thu Oct 06 12:32:06 2005 +0000
+++ b/graph-displayer.cc	Thu Oct 20 15:50:23 2005 +0000
@@ -10,7 +10,7 @@
 std::vector <double> edge_property_defaults;
 std::vector <std::string> node_property_strings;
 std::vector <double> node_property_defaults;
-
+int longest_property_string_length;
 
 int main(int argc, char *argv[])
 {
@@ -37,6 +37,25 @@
   node_property_defaults[N_COLOR]=100;
   node_property_defaults[N_TEXT]=0;
 
+  longest_property_string_length=0;
+  for(int i=0;i<EDGE_PROPERTY_NUM;i++)
+    {
+      int j=edge_property_strings[i].size();
+      if(j>longest_property_string_length)
+	{
+	  longest_property_string_length=j;
+	}
+    }
+  for(int i=0;i<NODE_PROPERTY_NUM;i++)
+    {
+      int j=node_property_strings[i].size();
+      if(j>longest_property_string_length)
+	{
+	  longest_property_string_length=j;
+	}
+    }
+
+
   //initializing GUI
 
   Gnome::Canvas::init();