From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 14 Sep 2004 06:44:35 +0000 (+0000)
Subject: * the click signal now acts on both maction (MathML) and action (BoxML)
X-Git-Tag: moogle_mathql~5
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ec8fa0609fdbac7c909f6e4c93de06a8ee205092;p=helm.git

* the click signal now acts on both maction (MathML) and action (BoxML)
---

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