From: Luca Padovani Date: Wed, 29 Aug 2001 20:30:54 +0000 (+0000) Subject: bug fix (helm selection) and new version (sigh) X-Git-Tag: v0_1_3~87 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3256396b89a4fe610b04b921c85149859e1d6626;p=helm.git bug fix (helm selection) and new version (sigh) --- diff --git a/helm/helmpot/configure.in b/helm/helmpot/configure.in index 606a37f40..58025f816 100644 --- a/helm/helmpot/configure.in +++ b/helm/helmpot/configure.in @@ -3,7 +3,7 @@ AC_INIT(main.c) HELMPOT_MAJOR_VERSION=0 HELMPOT_MINOR_VERSION=0 -HELMPOT_MICRO_VERSION=2 +HELMPOT_MICRO_VERSION=3 HELMPOT_VERSION=$HELMPOT_MAJOR_VERSION.$HELMPOT_MINOR_VERSION.$HELMPOT_MICRO_VERSION VERSION=$HELMPOT_VERSION 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); }