/**
* 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;
}
/**
* Returns a currently marked string if it does not extend over more than one line.
*
* @return search string
*/
public final String searchString() {
final String string = editor.copy();
return string.indexOf('\n') != -1 ? "" : string;
}