diff -r c4d09637b2f8 -r d0e4ac77bafe graph-displayer.cc
--- a/graph-displayer.cc	Fri Jun 17 14:20:49 2005 +0000
+++ b/graph-displayer.cc	Fri Jun 17 14:53:28 2005 +0000
@@ -6,8 +6,8 @@
 
 #define MAIN_PART
 
-std::string * property_strings;
-double * property_defaults;
+std::vector <std::string> property_strings;
+std::vector <double> property_defaults;
 
 
 int main(int argc, char *argv[])
@@ -15,12 +15,12 @@
 
   //initializing
 
-  property_strings=new std::string[PROPERTY_NUM];
+  //  property_strings=new std::string[PROPERTY_NUM];
   property_strings[WIDTH]="Width";
   property_strings[COLOR]="Color";
   property_strings[TEXT]="Text";
 
-  property_defaults=new double[PROPERTY_NUM];
+  //property_defaults=new double[PROPERTY_NUM];
   property_defaults[WIDTH]=10.0;
   property_defaults[COLOR]=100;
   property_defaults[TEXT]=0;