equal
deleted
inserted
replaced
4 GraphDisplayerCanvas::EdgeBase::EdgeBase(Gnome::Canvas::Group& _group, Edge _edge, GraphDisplayerCanvas& _canvas) : |
4 GraphDisplayerCanvas::EdgeBase::EdgeBase(Gnome::Canvas::Group& _group, Edge _edge, GraphDisplayerCanvas& _canvas) : |
5 Gnome::Canvas::Group(_group), edge(_edge), canvas(_canvas), arrow(*this) |
5 Gnome::Canvas::Group(_group), edge(_edge), canvas(_canvas), arrow(*this) |
6 { |
6 { |
7 arrow.property_fill_color().set_value("red"); |
7 arrow.property_fill_color().set_value("red"); |
8 arrow.lower_to_bottom(); |
8 arrow.lower_to_bottom(); |
|
9 lower_to_bottom(); |
9 } |
10 } |
10 |
11 |
11 GraphDisplayerCanvas::EdgeBase::~EdgeBase() |
12 GraphDisplayerCanvas::EdgeBase::~EdgeBase() |
12 { |
13 { |
13 } |
14 } |