# HG changeset patch
# User hegyi
# Date 1119022908 0
# Node ID 094ac2326a2aba06c9f1b78a5b78e583b989426e
# Parent  d0e4ac77bafecd0b127e249504537080c60ed6a5
Sorry for my friday afternoon...

diff -r d0e4ac77bafe -r 094ac2326a2a broken_edge.cc
--- a/broken_edge.cc	Fri Jun 17 14:53:28 2005 +0000
+++ b/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 d0e4ac77bafe -r 094ac2326a2a graph-displayer.cc
--- a/graph-displayer.cc	Fri Jun 17 14:53:28 2005 +0000
+++ b/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;