< 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 >