diff -r d0e4ac77bafe -r 094ac2326a2a graph-displayer.cc
--- a/graph-displayer.cc	Fri Jun 17 14:53:28 2005 +0000
+++ b/graph-displayer.cc	Fri Jun 17 15:41:48 2005 +0000
@@ -15,12 +15,12 @@
 
   //initializing
 
-  //  property_strings=new std::string[PROPERTY_NUM];
+  property_strings.resize(PROPERTY_NUM);
   property_strings[WIDTH]="Width";
   property_strings[COLOR]="Color";
   property_strings[TEXT]="Text";
 
-  //property_defaults=new double[PROPERTY_NUM];
+  property_defaults.resize(PROPERTY_NUM);
   property_defaults[WIDTH]=10.0;
   property_defaults[COLOR]=100;
   property_defaults[TEXT]=0;