@Override
public void execute(final GUI gui) {
final int pre = gui.context.marked.pres[0];
final byte[] txt = ViewData.path(gui.context.data(), pre);
// copy path to clipboard
final Clipboard clip = Toolkit.getDefaultToolkit().getSystemClipboard();
clip.setContents(new StringSelection(Token.string(txt)), null);
}
/**
* Returns the clipboard text.
*
* @return text
*/
static final String clip() {
// copy selection to clipboard
final Clipboard clip = Toolkit.getDefaultToolkit().getSystemClipboard();
final Transferable tr = clip.getContents(null);
if (tr != null) {
for (final Object o : BaseXLayout.contents(tr)) return o.toString();
}
return "";
}
/**
* Copies the selected text to the clipboard.
*
* @return true if text was copied
*/
final boolean copy() {
final String txt = text.copy();
if (txt.isEmpty()) {
text.noMark();
return false;
}
// copy selection to clipboard
final Clipboard clip = Toolkit.getDefaultToolkit().getSystemClipboard();
clip.setContents(new StringSelection(txt), null);
return true;
}