X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2FguiGTK.c;h=5ca382d91e6a57e70b49488b131cea482a0c9ec4;hb=fecad5c7499c396c8ff89fe7d353573991db8774;hp=fc268ae8a1b34b157fdb4353ce766481946c9ed4;hpb=1eedad0f656f0582871e2ce023f4923fc3a47de4;p=helm.git

diff --git a/helm/helmpot/guiGTK.c b/helm/helmpot/guiGTK.c
index fc268ae8a..5ca382d91 100644
--- a/helm/helmpot/guiGTK.c
+++ b/helm/helmpot/guiGTK.c
@@ -457,6 +457,10 @@ selection_changed(GtkMathView* math_view, mDOMNodeRef node)
 {
   g_return_if_fail(math_view != NULL);
   g_return_if_fail(GTK_IS_MATH_VIEW(math_view));
+
+  while (node != NULL && !mdom_node_has_attribute(node, DOM_CONST_STRING("xref")))
+    node = mdom_node_get_parent(node);
+
   gtk_math_view_set_selection(math_view, node);
 }