# HG changeset patch
# User hegyi
# Date 1119020008 0
# Node ID 97836166605d008d3ddf5593a96faabf5b3eba3e
# Parent  371aba7d61caefbc677f691d7e39f1959c3058c0
Little beauty fault is corrected.

diff -r 371aba7d61ca -r 97836166605d gui/all_include.h
--- a/gui/all_include.h	Fri Jun 17 14:20:49 2005 +0000
+++ b/gui/all_include.h	Fri Jun 17 14:53:28 2005 +0000
@@ -24,8 +24,8 @@
 
 
 #ifndef MAIN_PART
-extern std::string * property_strings;
-extern double * property_defaults;
+extern std::vector <std::string> property_strings;
+extern std::vector <double> property_defaults;
 #endif //MAIN_PART
 
 using namespace lemon;
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;