gui/all_include.h
changeset 1832 d0c28d9c9141
parent 1651 e40c41eae31f
child 1860 27a9a75b957b
equal deleted inserted replaced
13:686de04cb858 14:f61a34b755cc
    30 #ifndef MAIN_PART
    30 #ifndef MAIN_PART
    31 extern std::vector <std::string> edge_property_strings;
    31 extern std::vector <std::string> edge_property_strings;
    32 extern std::vector <double> edge_property_defaults;
    32 extern std::vector <double> edge_property_defaults;
    33 extern std::vector <std::string> node_property_strings;
    33 extern std::vector <std::string> node_property_strings;
    34 extern std::vector <double> node_property_defaults;
    34 extern std::vector <double> node_property_defaults;
       
    35 extern int longest_property_string_length;
    35 #endif //MAIN_PART
    36 #endif //MAIN_PART
    36 
    37 
    37 using namespace lemon;
    38 using namespace lemon;
    38 
    39 
    39 typedef xy<double> Coordinates;
    40 typedef xy<double> Coordinates;