1.1 --- a/gui/broken_edge.cc	Fri Jun 17 14:53:28 2005 +0000
     1.2 +++ b/gui/broken_edge.cc	Fri Jun 17 15:41:48 2005 +0000
     1.3 @@ -72,11 +72,11 @@
     1.4        //       std::cout << unit_norm_vector << std::endl;
     1.5  
     1.6        {      
     1.7 -	//       /\             top
     1.8 -	//      /  \
     1.9 -	//      -  -      c(enter)l(eft), ccl, ccr, cr
    1.10 -	//       ||
    1.11 -	//       ||       b(ottom)l, br
    1.12 +	//       /\       // top
    1.13 +	//      /  \      //
    1.14 +	//      -  -      // c(enter)l(eft), ccl, ccr, cr
    1.15 +	//       ||       //
    1.16 +	//       ||       // b(ottom)l, br
    1.17        }
    1.18  
    1.19        double size=3;

     2.1 --- a/gui/graph-displayer.cc	Fri Jun 17 14:53:28 2005 +0000
     2.2 +++ b/gui/graph-displayer.cc	Fri Jun 17 15:41:48 2005 +0000
     2.3 @@ -15,12 +15,12 @@
     2.4  
     2.5    //initializing
     2.6  
     2.7 -  //  property_strings=new std::string[PROPERTY_NUM];
     2.8 +  property_strings.resize(PROPERTY_NUM);
     2.9    property_strings[WIDTH]="Width";
    2.10    property_strings[COLOR]="Color";
    2.11    property_strings[TEXT]="Text";
    2.12  
    2.13 -  //property_defaults=new double[PROPERTY_NUM];
    2.14 +  property_defaults.resize(PROPERTY_NUM);
    2.15    property_defaults[WIDTH]=10.0;
    2.16    property_defaults[COLOR]=100;
    2.17    property_defaults[TEXT]=0;