graph_displayer_canvas-edge.cc
changeset 167 30a7be486475
parent 157 7e6ad28aeb9e
child 174 95872af46fc4
equal deleted inserted replaced
21:085c1a13bb8f 22:9ad0083d5b3d
     1 #include "graph_displayer_canvas.h"
     1 #include "graph_displayer_canvas.h"
     2 #include <cmath>
     2 #include <cmath>
     3 
     3 
     4 const int minimum_edge_width=2;
     4 const int minimum_edge_width=0;
     5 
     5 
     6 int GraphDisplayerCanvas::resetEdgeWidth (Edge edge)
     6 int GraphDisplayerCanvas::resetEdgeWidth (Edge edge)
     7 {
     7 {
     8   double min, max;
     8   double min, max;
     9 
     9