let cast w : math_view obj = Object.try_cast w "GtkMathView"
external create : Gtk.adjustment optobj -> Gtk.adjustment optobj ->
math_view obj = "ml_gtk_math_view_new"
let cast w : math_view obj = Object.try_cast w "GtkMathView"
external create : Gtk.adjustment optobj -> Gtk.adjustment optobj ->
math_view obj = "ml_gtk_math_view_new"
"ml_gtk_math_view_unload"
external raw_get_selection : [>`math_view] obj -> Minidom.mDOMNode option =
"ml_gtk_math_view_get_selection"
"ml_gtk_math_view_unload"
external raw_get_selection : [>`math_view] obj -> Minidom.mDOMNode option =
"ml_gtk_math_view_get_selection"
external raw_set_selection : [>`math_view] obj -> Minidom.mDOMNode option -> unit=
"ml_gtk_math_view_set_selection"
external raw_set_selection : [>`math_view] obj -> Minidom.mDOMNode option -> unit=
"ml_gtk_math_view_set_selection"
- let set_selection obj (node : Ominidom.o_mDOMNode) = raw_set_selection obj (Some (node#get_dom_node))
- let reset_selection obj = raw_set_selection obj None
+ let set_selection obj node =
+ raw_set_selection obj (mDOMNode_option_of_o_mDOMNode_option node)
external get_width : [>`math_view] obj -> int =
"ml_gtk_math_view_get_width"
external get_height : [>`math_view] obj -> int =
external get_width : [>`math_view] obj -> int =
"ml_gtk_math_view_get_width"
external get_height : [>`math_view] obj -> int =
external get_log_verbosity : [>`math_view] obj -> int =
"ml_gtk_math_view_get_log_verbosity"
external export_to_postscript :
external get_log_verbosity : [>`math_view] obj -> int =
"ml_gtk_math_view_get_log_verbosity"
external export_to_postscript :