+ (** {2 Selections / clipboards handling} *)
+
+ method markupSelected: bool
+ method canCopy: bool
+ method canCut: bool
+ method canDelete: bool
+ (*CSC: WRONG CODE: we should look in the clipboard instead! *)
+ method canPaste: bool
+ method canPastePattern: bool
+
+ method copy: unit -> unit
+ method cut: unit -> unit
+ method delete: unit -> unit
+ method paste: unit -> unit
+ method pastePattern: unit -> unit
+