From 3256396b89a4fe610b04b921c85149859e1d6626 Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Wed, 29 Aug 2001 20:30:54 +0000
Subject: [PATCH] bug fix (helm selection) and new version (sigh)

---
 helm/helmpot/configure.in | 2 +-
 helm/helmpot/guiGTK.c     | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

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);
 }
 
-- 
2.39.2