public void CopySelection() { if (session != null) session.ClipboardCopySelection (); }
void Copy(object obj, EventArgs e) { Gtk.Editable focus = Focus; if (focus != null) { focus.CopyClipboard(); } else { WidgetDesigner wd = SteticMain.CurrentDesigner; if (wd != null) { wd.CopySelection(); } } }