/* (non-Javadoc) * @see org.eclipse.vtp.desktop.editors.themes.mantis.MantisComponentFrame#propertyChange(java.beans.PropertyChangeEvent) */ public void propertyChange(PropertyChangeEvent event) { if (IDesignConstants.PROP_NAME.equals(event.getPropertyName())) { upperLeft = null; this.fireRepaintRequest(); } else super.propertyChange(event); }