Method copy

src/Gui/EditorView.cpp:430–433

* Copies any selected text to the clipboard. */

 * Copies any selected text to the clipboard.
 */
void EditorView::copy()
{
    d->textEdit->copy();
}

/**
 * Pastes the text from the clipboard into the text edit at the current cursor position.