gui/graph_displayer_canvas-edge.cc
changeset 1821 da52afc9c0ed
parent 1731 616bc933c2bc
child 1825 535d2eccfc03
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 {