internal void ClipboardCopySelection() { IEditableObject editable = widget.Selection as IEditableObject; if (editable == null) editable = ObjectWrapper.Lookup (widget.Selection) as IEditableObject; if (editable != null) editable.Copy (); }
public void CopySelection() { if (session != null) { session.ClipboardCopySelection(); } }