- (** {2 Selections / clipboards handling} *)
-
- method canCopy: bool
- method canCut: bool
- method canDelete: bool
- method canPaste: bool
- method canPastePattern: bool
-
- method markupSelected: bool
-
- method copy: unit -> unit
- method cut: unit -> unit
- method delete: unit -> unit
- method paste: unit -> unit
- method pastePattern: unit -> unit
-