]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/guiGTK.c
This commit was manufactured by cvs2svn to create tag 'v0_0_2'.
[helm.git] / helm / helmpot / guiGTK.c
index 5ca382d91e6a57e70b49488b131cea482a0c9ec4..fc268ae8a1b34b157fdb4353ce766481946c9ed4 100644 (file)
@@ -457,10 +457,6 @@ 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);
 }