# HG changeset patch # User ladanyi # Date 1159179515 0 # Node ID d99e115d0d263e41e37f4b01322e15593bcb9c8c # Parent 72f1c33f89d41a613d0c8e970ef07381702173d3 Bugfix. diff -r 72f1c33f89d4 -r d99e115d0d26 gdc-broken_edge.cc --- a/gdc-broken_edge.cc Mon Sep 25 07:54:00 2006 +0000 +++ b/gdc-broken_edge.cc Mon Sep 25 10:18:35 2006 +0000 @@ -6,6 +6,7 @@ { arrow.property_fill_color().set_value("red"); arrow.lower_to_bottom(); + lower_to_bottom(); } GraphDisplayerCanvas::EdgeBase::~EdgeBase()