1.1 --- a/gui/graph-displayer.cc	Fri Jun 17 14:20:49 2005 +0000
     1.2 +++ b/gui/graph-displayer.cc	Fri Jun 17 14:53:28 2005 +0000
     1.3 @@ -6,8 +6,8 @@
     1.4  
     1.5  #define MAIN_PART
     1.6  
     1.7 -std::string * property_strings;
     1.8 -double * property_defaults;
     1.9 +std::vector <std::string> property_strings;
    1.10 +std::vector <double> property_defaults;
    1.11  
    1.12  
    1.13  int main(int argc, char *argv[])
    1.14 @@ -15,12 +15,12 @@
    1.15  
    1.16    //initializing
    1.17  
    1.18 -  property_strings=new std::string[PROPERTY_NUM];
    1.19 +  //  property_strings=new std::string[PROPERTY_NUM];
    1.20    property_strings[WIDTH]="Width";
    1.21    property_strings[COLOR]="Color";
    1.22    property_strings[TEXT]="Text";
    1.23  
    1.24 -  property_defaults=new double[PROPERTY_NUM];
    1.25 +  //property_defaults=new double[PROPERTY_NUM];
    1.26    property_defaults[WIDTH]=10.0;
    1.27    property_defaults[COLOR]=100;
    1.28    property_defaults[TEXT]=0;