Changeset 1599:c2f95eac652b in lemon-0.x for gui/graph_displayer_canvas-edge.cc

Timestamp:

07/28/05 17:54:00 (20 years ago)

Author:

Hegyi Péter

Branch:

default

Phase:

public

Convert:

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

Message:

cout->cerr, node radius and edge width is now scaled, maps are editable by clicking on texts.

File:

• gui/graph_displayer_canvas-edge.cc (modified) (2 diffs)

gui/graph_displayer_canvas-edge.cc

@@ -7 +7 @@
 {
   Graph::EdgeMap<double> * actual_map;
+  double min, max;
+
   if(mapname=="Default")
     {
+      min=edge_property_defaults[E_WIDTH];
+      max=edge_property_defaults[E_WIDTH];
       actual_map=new Graph::EdgeMap<double>(g,edge_property_defaults[E_WIDTH]);
     }
   else
     {
+      min=mapstorage.minOfEdgeMap(mapname);
+      max=mapstorage.maxOfEdgeMap(mapname);
       actual_map=(mapstorage.edgemap_storage)[mapname];
     }
@@ -20 +26 @@
       for (EdgeIt i(g); i!=INVALID; ++i)
         {
-          int w=(int)(*actual_map)[i];
-          if(w>=0)
+          double v=abs((*actual_map)[i]);
+          int w;
+          if(min==max)
             {
-              edgesmap[i]->property_width_units().set_value(w);
+              w=(int)(edge_property_defaults[E_WIDTH]);
             }
+          else
+            {
+              w=(int)(MIN_EDGE_WIDTH+(v-min)/(max-min)*(MAX_EDGE_WIDTH-MIN_EDGE_WIDTH));
+            }
+          edgesmap[i]->property_width_units().set_value(w);
         }
     }