673 */
674 public void repaint(Rectangle r) {}
675
676 /**
677 * Overridden for performance reasons.
678 * See the <a href="#override">Implementation Note</a>
679 * for more information.
680 *
681 * @since 1.5
682 */
683 public void repaint() {}
684
685 /**
686 * Overridden for performance reasons.
687 * See the <a href="#override">Implementation Note</a>
688 * for more information.
689 */
690 protected void firePropertyChange(String propertyName, Object oldValue, Object newValue) {
691 // Strings get interned...
692 if (propertyName == "text"
693 || ((propertyName == "font" || propertyName == "foreground")
694 && oldValue != newValue
695 && getClientProperty(javax.swing.plaf.basic.BasicHTML.propertyKey) != null)) {
696
697 super.firePropertyChange(propertyName, oldValue, newValue);
698 }
699 }
700
701 /**
702 * Overridden for performance reasons.
703 * See the <a href="#override">Implementation Note</a>
704 * for more information.
705 */
706 public void firePropertyChange(String propertyName, byte oldValue, byte newValue) {}
707
708 /**
709 * Overridden for performance reasons.
710 * See the <a href="#override">Implementation Note</a>
711 * for more information.
712 */
713 public void firePropertyChange(String propertyName, char oldValue, char newValue) {}
|
673 */
674 public void repaint(Rectangle r) {}
675
676 /**
677 * Overridden for performance reasons.
678 * See the <a href="#override">Implementation Note</a>
679 * for more information.
680 *
681 * @since 1.5
682 */
683 public void repaint() {}
684
685 /**
686 * Overridden for performance reasons.
687 * See the <a href="#override">Implementation Note</a>
688 * for more information.
689 */
690 protected void firePropertyChange(String propertyName, Object oldValue, Object newValue) {
691 // Strings get interned...
692 if (propertyName == "text"
693 || ((propertyName == "font"
694 || propertyName == "graphicsConfiguration"
695 || propertyName == "foreground")
696 && oldValue != newValue
697 && getClientProperty(javax.swing.plaf.basic.BasicHTML.propertyKey) != null)) {
698
699 super.firePropertyChange(propertyName, oldValue, newValue);
700 }
701 }
702
703 /**
704 * Overridden for performance reasons.
705 * See the <a href="#override">Implementation Note</a>
706 * for more information.
707 */
708 public void firePropertyChange(String propertyName, byte oldValue, byte newValue) {}
709
710 /**
711 * Overridden for performance reasons.
712 * See the <a href="#override">Implementation Note</a>
713 * for more information.
714 */
715 public void firePropertyChange(String propertyName, char oldValue, char newValue) {}
|