1.1 --- a/gui/all_include.h	Fri Jun 17 14:20:49 2005 +0000
     1.2 +++ b/gui/all_include.h	Fri Jun 17 14:53:28 2005 +0000
     1.3 @@ -24,8 +24,8 @@
     1.4  
     1.5  
     1.6  #ifndef MAIN_PART
     1.7 -extern std::string * property_strings;
     1.8 -extern double * property_defaults;
     1.9 +extern std::vector <std::string> property_strings;
    1.10 +extern std::vector <double> property_defaults;
    1.11  #endif //MAIN_PART
    1.12  
    1.13  using namespace lemon;

     2.1 --- a/gui/graph-displayer.cc	Fri Jun 17 14:20:49 2005 +0000
     2.2 +++ b/gui/graph-displayer.cc	Fri Jun 17 14:53:28 2005 +0000
     2.3 @@ -6,8 +6,8 @@
     2.4  
     2.5  #define MAIN_PART
     2.6  
     2.7 -std::string * property_strings;
     2.8 -double * property_defaults;
     2.9 +std::vector <std::string> property_strings;
    2.10 +std::vector <double> property_defaults;
    2.11  
    2.12  
    2.13  int main(int argc, char *argv[])
    2.14 @@ -15,12 +15,12 @@
    2.15  
    2.16    //initializing
    2.17  
    2.18 -  property_strings=new std::string[PROPERTY_NUM];
    2.19 +  //  property_strings=new std::string[PROPERTY_NUM];
    2.20    property_strings[WIDTH]="Width";
    2.21    property_strings[COLOR]="Color";
    2.22    property_strings[TEXT]="Text";
    2.23  
    2.24 -  property_defaults=new double[PROPERTY_NUM];
    2.25 +  //property_defaults=new double[PROPERTY_NUM];
    2.26    property_defaults[WIDTH]=10.0;
    2.27    property_defaults[COLOR]=100;
    2.28    property_defaults[TEXT]=0;