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;