inherit GMathViewAux.multi_selection_math_view
(** set hyperlink callback. None disable hyperlink handling *)
- method set_href_callback: (UriManager.uri -> unit) option -> unit
+ method set_href_callback: (string -> unit) option -> unit
end
class type sequent_viewer =
val sequents_viewer:
notebook:GPack.notebook ->
sequent_viewer:sequent_viewer ->
- set_goal:(int -> unit) ->
unit ->
sequents_viewer
val mathViewer: unit -> MatitaTypes.mathViewer
+(** {2 singleton instances} *)
+
+val sequent_viewer_instance: unit -> sequent_viewer
+val sequents_viewer_instance: unit -> sequents_viewer
+