graph_displayer_canvas-edge.cc
branchgui
changeset 89 4042761b21e3
parent 81 5ad61c33487c
child 91 55cf06f14981
equal deleted inserted replaced
15:ede90d7953fb 16:56020b1871b4
     1 #include "graph_displayer_canvas.h"
     1 #include "graph_displayer_canvas.h"
     2 #include "broken_edge.h"
       
     3 #include <cmath>
     2 #include <cmath>
     4 
     3 
     5 
     4 
     6 int GraphDisplayerCanvas::resetEdgeWidth (Edge edge)
     5 int GraphDisplayerCanvas::resetEdgeWidth (Edge edge)
     7 {
     6 {