gui/broken_edge.cc
changeset 1497 529e48eb9786
child 1499 9316dcc0a355
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/gui/broken_edge.cc	Wed Jun 15 13:05:09 2005 +0000
     1.3 @@ -0,0 +1,14 @@
     1.4 +#include <broken_edge.h>
     1.5 +
     1.6 +BrokenEdge::BrokenEdge(Gnome::Canvas::Group & g, Gnome::Canvas::Points p) : Line(g)
     1.7 +{
     1.8 +  if(p.size()==2)
     1.9 +    {
    1.10 +      Gnome::Canvas::Points points_with_center;
    1.11 +      points_with_center.push_back(p[0]);
    1.12 +      points_with_center.push_back(Gnome::Art::Point( (p[0].get_x()+p[1].get_x())/2+30 , (p[0].get_y()+p[1].get_y())/2 )+30 );
    1.13 +      points_with_center.push_back(p[1]);
    1.14 +      
    1.15 +      property_points().set_value(points_with_center);
    1.16 +    }
    1.17 +}