method load_root : root:string -> unit
method remove_selections: unit
- method set_selection: Gdome.element option -> unit
- method get_selections: Gdome.element list
+ method set_selection: unit option -> unit
+ method get_selections: unit list
method set_font_size: int -> unit
inherit clickableMathView
(** load a sequent and render it into parent widget *)
- method load_sequent: Cic.metasenv -> int -> unit
method nload_sequent:
#NCicCoercion.status -> NCic.metasenv -> NCic.substitution -> int -> unit
- method load_object: Cic.obj -> unit
method load_nobject: #NCicCoercion.status -> NCic.obj -> unit
end