# HG changeset patch
# User hegyi
# Date 1119022908 0
# Node ID 4b14c60ecb2b09424f6db996c3873a504821c7db
# Parent  97836166605d008d3ddf5593a96faabf5b3eba3e
Sorry for my friday afternoon...

diff -r 97836166605d -r 4b14c60ecb2b gui/broken_edge.cc
--- a/gui/broken_edge.cc	Fri Jun 17 14:53:28 2005 +0000
+++ b/gui/broken_edge.cc	Fri Jun 17 15:41:48 2005 +0000
@@ -72,11 +72,11 @@
       //       std::cout << unit_norm_vector << std::endl;
 
       {      
-	//       /\             top
-	//      /  \
-	//      -  -      c(enter)l(eft), ccl, ccr, cr
-	//       ||
-	//       ||       b(ottom)l, br
+	//       /\       // top
+	//      /  \      //
+	//      -  -      // c(enter)l(eft), ccl, ccr, cr
+	//       ||       //
+	//       ||       // b(ottom)l, br
       }
 
       double size=3;
diff -r 97836166605d -r 4b14c60ecb2b gui/graph-displayer.cc
--- a/gui/graph-displayer.cc	Fri Jun 17 14:53:28 2005 +0000
+++ b/gui/graph-displayer.cc	Fri Jun 17 15:41:48 2005 +0000
@@ -15,12 +15,12 @@
 
   //initializing
 
-  //  property_strings=new std::string[PROPERTY_NUM];
+  property_strings.resize(PROPERTY_NUM);
   property_strings[WIDTH]="Width";
   property_strings[COLOR]="Color";
   property_strings[TEXT]="Text";
 
-  //property_defaults=new double[PROPERTY_NUM];
+  property_defaults.resize(PROPERTY_NUM);
   property_defaults[WIDTH]=10.0;
   property_defaults[COLOR]=100;
   property_defaults[TEXT]=0;