/** * Gives notification that the DataObject was changed. * * @param ev PropertyChangeEvent */ public void propertyChange(PropertyChangeEvent ev) { if (DataObject.PROP_PRIMARY_FILE.equals(ev.getPropertyName())) { changeFile(); } if (DataObject.PROP_NAME.equals(ev.getPropertyName())) { EditorSupport es = (EditorSupport) getDataObject().getCookie(EditorSupport.class); if (es != null) { es.updateTitles(); } } super.propertyChange(ev); }