/** * Sets the Painter to use in this Highlighter, may be null. * Un/installs the listener to changes painter's properties. * * @param painter the Painter to uses for decoration. */ public void setPainter(Painter painter) { if (areEqual(painter, getPainter())) return; uninstallPainterListener(); this.painter = painter; installPainterListener(); fireStateChanged(); }
/** * Sets the Painter to use in this Highlighter, may be null. * Un/installs the listener to changes painter's properties. * * @param painter the Painter to uses for decoration. */ public void setPainter(Painter painter) { if (areEqual(painter, getPainter())) return; uninstallPainterListener(); this.painter = painter; installPainterListener(); fireStateChanged(); }
/** * Sets the Painter to use in this Highlighter, may be null. * Un/installs the listener to changes painter's properties. * * @param painter the Painter to uses for decoration. */ public void setPainter(Painter painter) { if (areEqual(painter, getPainter())) return; uninstallPainterListener(); this.painter = painter; installPainterListener(); fireStateChanged(); }
/** * Sets the Painter to use in this Highlighter, may be null. * Un/installs the listener to changes painter's properties. * * @param painter the Painter to uses for decoration. */ public void setPainter(Painter painter) { if (areEqual(painter, getPainter())) return; uninstallPainterListener(); this.painter = painter; installPainterListener(); fireStateChanged(); }
/** * Sets the Painter to use in this Highlighter, may be null. * Un/installs the listener to changes painter's properties. * * @param painter the Painter to uses for decoration. */ public void setPainter(Painter painter) { if (areEqual(painter, getPainter())) return; uninstallPainterListener(); this.painter = painter; installPainterListener(); fireStateChanged(); }