exception ErrorLoadingDOM
exception NoSelection
class math_view_signals :
- ([> `container | `widget] as 'b) Gtk.obj ->
+ ([> `container | `widget | `base | `math_view] as 'b) Gtk.obj ->
object ('a)
inherit GContainer.container_signals
+ val obj: 'b Gtk.obj
method clicked : callback:(Gdome.element -> unit) -> GtkSignal.id
method element_changed :
callback:(Gdome.element option -> unit) -> GtkSignal.id