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 =