/** * Sets whether this caret's selection should have rounded edges. * * @param rounded Whether it should have rounded edges. * @see #getRoundedSelectionEdges() */ public void setRoundedSelectionEdges(boolean rounded) { ((ChangeableHighlightPainter)getSelectionPainter()). setRoundedEdges(rounded); }
/** * Creates a new highlight painter. * * @param paint The <code>Paint</code> (usually a * <code>java.awt.Color</code>) with which to paint the * highlights. * @param rounded Whether to use rounded edges on the highlights. * @param alpha The alpha value to use when painting highlights. This * value should be in the range <code>0.0f</code> (completely * transparent) through <code>1.0f</code> (opaque). */ public ChangeableHighlightPainter(Paint paint, boolean rounded, float alpha) { setPaint(paint); setRoundedEdges(rounded); setAlpha(alpha); }
/** * Sets whether this caret's selection should have rounded edges. * * @param rounded Whether it should have rounded edges. * @see #getRoundedSelectionEdges() */ public void setRoundedSelectionEdges(boolean rounded) { ((ChangeableHighlightPainter)getSelectionPainter()). setRoundedEdges(rounded); }
/** * Sets whether this caret's selection should have rounded edges. * * @param rounded Whether it should have rounded edges. * @see #getRoundedSelectionEdges() */ public void setRoundedSelectionEdges(boolean rounded) { ((ChangeableHighlightPainter)getSelectionPainter()). setRoundedEdges(rounded); }
/** * Sets whether this caret's selection should have rounded edges. * * @param rounded Whether it should have rounded edges. * @see #getRoundedSelectionEdges() */ public void setRoundedSelectionEdges(boolean rounded) { ((ChangeableHighlightPainter)getSelectionPainter()). setRoundedEdges(rounded); }
/** * {@inheritDoc} */ public void setRoundedSelectionEdges(boolean rounded) { if (getRoundedSelectionEdges()!=rounded) { markAllHighlightPainter.setRoundedEdges(rounded); super.setRoundedSelectionEdges(rounded); // Fires event. } }
/** * {@inheritDoc} */ public void setRoundedSelectionEdges(boolean rounded) { if (getRoundedSelectionEdges()!=rounded) { markAllHighlightPainter.setRoundedEdges(rounded); super.setRoundedSelectionEdges(rounded); // Fires event. } }
/** * Creates a new highlight painter. * * @param paint The <code>Paint</code> (usually a * <code>java.awt.Color</code>) with which to paint the * highlights. * @param rounded Whether to use rounded edges on the highlights. * @param alpha The alpha value to use when painting highlights. This * value should be in the range <code>0.0f</code> (completely * transparent) through <code>1.0f</code> (opaque). */ public ChangeableHighlightPainter(Paint paint, boolean rounded, float alpha) { setPaint(paint); setRoundedEdges(rounded); setAlpha(alpha); }
/** * Creates a new highlight painter. * * @param paint The <code>Paint</code> (usually a * <code>java.awt.Color</code>) with which to paint the * highlights. * @param rounded Whether to use rounded edges on the highlights. * @param alpha The alpha value to use when painting highlights. This * value should be in the range <code>0.0f</code> (completely * transparent) through <code>1.0f</code> (opaque). */ public ChangeableHighlightPainter(Paint paint, boolean rounded, float alpha) { setPaint(paint); setRoundedEdges(rounded); setAlpha(alpha); }
/** * Creates a new highlight painter. * * @param paint The <code>Paint</code> (usually a * <code>java.awt.Color</code>) with which to paint the * highlights. * @param rounded Whether to use rounded edges on the highlights. * @param alpha The alpha value to use when painting highlights. This * value should be in the range <code>0.0f</code> (completely * transparent) through <code>1.0f</code> (opaque). */ public ChangeableHighlightPainter(Paint paint, boolean rounded, float alpha) { setPaint(paint); setRoundedEdges(rounded); setAlpha(alpha); }