void (PropertyChangeEvent evt) { if (myDuringUpdate) return; if (!EditorEx.PROP_FONT_SIZE_2D.equals(evt.getPropertyName())) return; if (evt.getOldValue().equals(evt.getNewValue())) return; float fontSize = ((Float)evt.getNewValue()).floatValue(); for (EditorEx editor : myEditors) { if (evt.getSource() != editor) updateEditor(editor, fontSize); } }