X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaMathView.mli;h=567f67d42059798224ec7b63673e4f604b04b6fe;hb=e082eec771e24842f29a01fa258f7c80bc2db599;hp=dd1e189557ba88cb7bdba3a0b063d9d091631823;hpb=2815c74c03f38089d0e27aba00e2280223b0f76f;p=helm.git diff --git a/matita/matita/matitaMathView.mli b/matita/matita/matitaMathView.mli index dd1e18955..567f67d42 100644 --- a/matita/matita/matitaMathView.mli +++ b/matita/matita/matitaMathView.mli @@ -30,6 +30,7 @@ val sequentsViewer_instance: GPack.notebook -> MatitaGuiTypes.sequentsViewer val refresh_all_browsers: unit -> unit (** act on all cicBrowsers *) (** {2 Rendering in a browser} *) + (** @param reuse if set reused last opened cic browser otherwise * opens a new one. default is false *) val cicBrowser: ?reuse:bool -> MatitaTypes.mathViewer_entry option -> unit @@ -42,6 +43,7 @@ val has_selection: unit -> bool * @raise Failure "no selection" *) val copy_selection: unit -> unit val has_clipboard: unit -> bool (** clipboard is not empty *) + val empty_clipboard: unit -> unit (** empty the clipboard *) (** @raise Failure "empty clipboard" *)