X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMathView.mli;h=ea0c077d842ef2c7ca9731df7f4d4395b79fb277;hb=b6f12c7851b23c4793a9fe279c4439b84c817b23;hp=f5acf63497a2c3af8099f44d9e9c4bd36a45e665;hpb=39736960d48b9a19f3b7ca6e4d852a9dbcd4af76;p=helm.git

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index f5acf6349..ea0c077d8 100644
--- a/helm/matita/matitaMathView.mli
+++ b/helm/matita/matitaMathView.mli
@@ -61,13 +61,18 @@ val reset_font_size:      unit -> unit
 val refresh_all_browsers: unit -> unit  (** act on all cicBrowsers *)
 val update_font_sizes:    unit -> unit
 
-  (** {3 selection handling} *)
+  (** {3 Clipboard & Selection handling} *)
 
-  (* @return the selections of a (unspecified) math viewer *)
-val get_selections:       unit -> string list option
+val has_selection: unit -> bool
 
-  (* remove the selections of all math viewers *)
-val reset_selections:     unit -> unit
+  (** fills the clipboard with the current selection
+   * @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" *)
+val paste_clipboard: MatitaGuiTypes.paste_kind -> string
 
 (** {2 Singleton instances} *)