/**
* Copies the selected text to the clipboard.
*
* @return true if text was copied
*/
private boolean copy() {
final String txt = editor.copy();
if (txt.isEmpty()) return false;
// copy selection to clipboard
BaseXLayout.copy(txt);
return true;
}
