Chamo.Multiclip
Multi-contents clipboards. The Multiclip_gui
module contains material to create graphical interface for these clipboards.
val id_wrapper : id Ocf.wrapper
val string_of_id : id -> string
val id_of_string : string -> id
val create_multiclip : ?abst_len:int -> unit -> multiclip
Create a multiclip.
The list of elements in the multiclip, as a list of triples (id, abstract, string)
.
Retrieve the abstract and string associated to the given id, if present.
These multiclips can be stored to a file given at creation time.
val create_storable_multiclip : ?abst_len:int -> string -> storable_multiclip
create_storable_multiclip file
creates a new multiclip, stored and read from the given file
.
val read_multiclip : storable_multiclip -> unit
Reload the contents of the multiclip from its file.
val write_multiclip : storable_multiclip -> unit
Write the contents of the multiclip into its file.
val storable_get_multiclip : storable_multiclip -> multiclip
Get the raw multiclip.
val storable_get_file : storable_multiclip -> string
Get the file use by the given multiclip.