1.1 --- a/gui/graph-displayer.cc	Fri Jun 24 08:44:54 2005 +0000
     1.2 +++ b/gui/graph-displayer.cc	Fri Jun 24 18:16:12 2005 +0000
     1.3 @@ -6,8 +6,10 @@
     1.4  
     1.5  #define MAIN_PART
     1.6  
     1.7 -std::vector <std::string> property_strings;
     1.8 -std::vector <double> property_defaults;
     1.9 +std::vector <std::string> edge_property_strings;
    1.10 +std::vector <double> edge_property_defaults;
    1.11 +std::vector <std::string> node_property_strings;
    1.12 +std::vector <double> node_property_defaults;
    1.13  
    1.14  
    1.15  int main(int argc, char *argv[])
    1.16 @@ -15,15 +17,25 @@
    1.17  
    1.18    //initializing
    1.19  
    1.20 -  property_strings.resize(PROPERTY_NUM);
    1.21 -  property_strings[WIDTH]="Width";
    1.22 -  property_strings[COLOR]="Color";
    1.23 -  property_strings[TEXT]="Text";
    1.24 +  edge_property_strings.resize(EDGE_PROPERTY_NUM);
    1.25 +  edge_property_strings[E_WIDTH]="Edge Width";
    1.26 +  edge_property_strings[E_COLOR]="Edge Color";
    1.27 +  edge_property_strings[E_TEXT]="Edge Text";
    1.28  
    1.29 -  property_defaults.resize(PROPERTY_NUM);
    1.30 -  property_defaults[WIDTH]=10.0;
    1.31 -  property_defaults[COLOR]=100;
    1.32 -  property_defaults[TEXT]=0;
    1.33 +  edge_property_defaults.resize(EDGE_PROPERTY_NUM);
    1.34 +  edge_property_defaults[E_WIDTH]=10.0;
    1.35 +  edge_property_defaults[E_COLOR]=100;
    1.36 +  edge_property_defaults[E_TEXT]=0;
    1.37 +
    1.38 +  node_property_strings.resize(NODE_PROPERTY_NUM);
    1.39 +  node_property_strings[N_RADIUS]="Node Radius";
    1.40 +  node_property_strings[N_COLOR]="Node Color";
    1.41 +  node_property_strings[N_TEXT]="Node Text";
    1.42 +
    1.43 +  node_property_defaults.resize(NODE_PROPERTY_NUM);
    1.44 +  node_property_defaults[N_RADIUS]=20.0;
    1.45 +  node_property_defaults[N_COLOR]=100;
    1.46 +  node_property_defaults[N_TEXT]=0;
    1.47  
    1.48    if(argc<2)
    1.49    {