/**
* 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 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 "";
}
/**
* Returns the clipboard text.
*
* @return text
*/
private static String clip() {
// copy selection to clipboard
final Clipboard clip = Toolkit.getDefaultToolkit().getSystemClipboard();
final Transferable tr = clip.getContents(null);
if (tr != null) {
final ArrayList<Object> contents = BaseXLayout.contents(tr);
if (!contents.isEmpty()) return contents.get(0).toString();
} else {
Util.debug("Clipboard has no contents.");
}
return null;
}
@Override
public void paintComponent(final Graphics g) {
super.paintComponent(g);
final int w = getWidth();
final int h = getHeight();
final int hh = h / 2;
final int s = (int) (3 * GUIConstants.SCALE);
g.setColor(hasFocus() ? GUIConstants.BACK : GUIConstants.lgray);
g.fillRect(0, hh - s, w, s * 2 - 1);
g.setColor(GUIConstants.TEXT);
g.drawLine(0, hh - s, w, hh - s);
g.drawLine(0, hh - s, 0, hh + s - 1);
g.setColor(GUIConstants.gray);
g.drawLine(w - 1, hh - s, w - 1, hh + s - 1);
g.drawLine(0, hh + s - 1, w, hh + s - 1);
final double x = (value - min) * (w - SLIDERW) / (max - min);
BaseXLayout.drawCell(g, (int) x, (int) (x + SLIDERW), hh - s * 2, hh + s * 2, oldValue != -1);
}