< prev index next >

src/java.desktop/share/classes/javax/swing/tree/DefaultTreeCellRenderer.java

Print this page

        

@@ -688,11 +688,13 @@
     * for more information.
     */
     protected void firePropertyChange(String propertyName, Object oldValue, Object newValue) {
         // Strings get interned...
         if (propertyName == "text"
-                || ((propertyName == "font" || propertyName == "foreground")
+                || ((propertyName == "font"
+                        || propertyName == "graphicsConfiguration"
+                        || propertyName == "foreground")
                     && oldValue != newValue
                     && getClientProperty(javax.swing.plaf.basic.BasicHTML.propertyKey) != null)) {
 
             super.firePropertyChange(propertyName, oldValue, newValue);
         }
< prev index next >