diff -r 371aba7d61ca -r 97836166605d gui/graph-displayer.cc
--- a/gui/graph-displayer.cc	Fri Jun 17 14:20:49 2005 +0000
+++ b/gui/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;