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