Changeset 1731:616bc933c2bc in lemon-0.x for gui/graph-displayer.cc

Timestamp:

10/20/05 17:50:23 (19 years ago)

Author:

Hegyi Péter

Branch:

default

Phase:

public

Convert:

svn:c9d7d8f5-90d6-0310-b91f-818b3a526b0e/lemon/trunk@2258

Message:

Mapselector widget reached its first release, but there are still work to do on it, I know...

File:

• gui/graph-displayer.cc (modified) (2 diffs)

gui/graph-displayer.cc

@@ -11 +11 @@
 std::vector <std::string> node_property_strings;
 std::vector <double> node_property_defaults;
-
+int longest_property_string_length;
 
 int main(int argc, char *argv[])
@@ -38 +38 @@
   node_property_defaults[N_TEXT]=0;
 
+  longest_property_string_length=0;
+  for(int i=0;i<EDGE_PROPERTY_NUM;i++)
+    {
+      int j=edge_property_strings[i].size();
+      if(j>longest_property_string_length)
+        {
+          longest_property_string_length=j;
+        }
+    }
+  for(int i=0;i<NODE_PROPERTY_NUM;i++)
+    {
+      int j=node_property_strings[i].size();
+      if(j>longest_property_string_length)
+        {
+          longest_property_string_length=j;
+        }
+    }
+
+
   //initializing GUI