# HG changeset patch
# User ladanyi
# Date 1125070201 0
# Node ID 0917756ba53370e7284504ea9e0b18a991731343
# Parent  9955e7ec7e893623c9fa582db0c131e199537131
placement of the coordinates caption now takes into account the node radius

diff -r 9955e7ec7e89 -r 0917756ba533 gui/graph_displayer_canvas-event.cc
--- a/gui/graph_displayer_canvas-event.cc	Fri Aug 26 15:06:51 2005 +0000
+++ b/gui/graph_displayer_canvas-event.cc	Fri Aug 26 15:30:01 2005 +0000
@@ -159,24 +159,26 @@
         ostr << "(" <<
           mapstorage.coords[active_node].x << ", " <<
           mapstorage.coords[active_node].y << ")";
+        double radius =
+          (nodesmap[active_node]->property_x2().get_value() -
+          nodesmap[active_node]->property_x1().get_value()) / 2.0;
         if (coord_text)
         {
           coord_text->property_text().set_value(ostr.str());
           coord_text->property_x().set_value(mapstorage.coords[active_node].x +
-              node_property_defaults[N_RADIUS] + 40);
-          coord_text->property_y().set_value(mapstorage.coords[active_node].y +
-              node_property_defaults[N_RADIUS] - 40);
+              radius);
+          coord_text->property_y().set_value(mapstorage.coords[active_node].y -
+              radius);
         }
         else
         {
           coord_text = new Gnome::Canvas::Text(
               displayed_graph,
-              mapstorage.coords[active_node].x +
-              node_property_defaults[N_RADIUS] + 40,
-              mapstorage.coords[active_node].y +
-              node_property_defaults[N_RADIUS] - 40,
+              mapstorage.coords[active_node].x + radius,
+              mapstorage.coords[active_node].y - radius,
               ostr.str());
           coord_text->property_fill_color().set_value("black");
+          coord_text->property_anchor().set_value(Gtk::ANCHOR_SOUTH_WEST);
         }
 
 	//all the edges connected to the moved point has to be redrawn