From 2aaccff18bc81943efe0c1b76dbe4613f93de5bc Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 9 Feb 2009 16:06:53 +0000 Subject: [PATCH] b:action are now considered as m:maction and thus are expanded --- helm/software/matita/matitaMathView.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.39.2