implemented copy/cut/paste/delete/pastePattern

[helm.git] / helm / matita / matitaMathView.mli

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index f5acf63497a2c3af8099f44d9e9c4bd36a45e665..ea0c077d842ef2c7ca9731df7f4d4395b79fb277 100644 (file)
--- 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} *)