From ec8fa0609fdbac7c909f6e4c93de06a8ee205092 Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Tue, 14 Sep 2004 06:44:35 +0000 Subject: [PATCH] * the click signal now acts on both maction (MathML) and action (BoxML) --- helm/DEVEL/lablgtkmathview/gMathViewAux.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/helm/DEVEL/lablgtkmathview/gMathViewAux.ml b/helm/DEVEL/lablgtkmathview/gMathViewAux.ml index 8dfb919ba..c50e7fb9d 100644 --- a/helm/DEVEL/lablgtkmathview/gMathViewAux.ml +++ b/helm/DEVEL/lablgtkmathview/gMathViewAux.ml @@ -120,8 +120,9 @@ class single_selection_math_view obj = method action_toggle (elem : Gdome.element) = match elem#get_namespaceURI, elem#get_localName with Some ns, Some ln - when ns#to_string = "http://www.w3.org/1998/Math/MathML" && - ln#to_string = "maction" + when + (ns#to_string = "http://www.w3.org/1998/Math/MathML" && ln#to_string = "maction") || + (ns#to_string = "http://helm.cs.unibo.it/2003/BoxML" && ln#to_string = "action") -> begin let selection_attr = Gdome.domString "selection" in -- 2.39.2