/** * 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); }