From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 9 Feb 2009 16:06:53 +0000 (+0000)
Subject: b:action are now considered as m:maction and thus are expanded
X-Git-Tag: make_still_working~4207
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2aaccff18bc81943efe0c1b76dbe4613f93de5bc;hp=ddc0a7b3f0acd57f879e540e696f69ca0c20bbf5;p=helm.git

b:action are now considered as m:maction and thus are expanded
---

diff --git a/helm/software/matita/matitaMathView.ml b/helm/software/matita/matitaMathView.ml
index 19eeaf0d7..f57dc4d32 100644
--- a/helm/software/matita/matitaMathView.ml
+++ b/helm/software/matita/matitaMathView.ml
@@ -167,7 +167,8 @@ let hrefs_of_elt elt =
 
 let rec has_maction (elt :Gdome.element) = 
   (* fix this comparison *)
-  if elt#get_tagName#to_string = "m:maction" then
+  if elt#get_tagName#to_string = "m:maction" ||
+   elt#get_tagName#to_string = "b:action" then
     true
   else 
     match elt#get_parentNode with