+ external raw_get_element : [>`math_view] obj -> Minidom.mDOMNode option =
+ "ml_gtk_math_view_get_element"
+ let get_element obj =
+ o_mDOMNode_option_of_mDOMNode_option (raw_get_element obj)
+ external action_get_selected : [>`math_view] obj -> int =
+ "ml_gtk_math_view_action_get_selected"
+ external action_set_selected : [>`math_view] obj -> int -> unit =
+ "ml_gtk_math_view_action_set_selected"
+ external raw_get_action : [>`math_view] obj -> Minidom.mDOMNode option =
+ "ml_gtk_math_view_get_action"
+ let get_action obj =
+ o_mDOMNode_option_of_mDOMNode_option (raw_get_action obj)
+ external action_toggle : [>`math_view] obj -> unit =
+ "ml_gtk_math_view_action_toggle"