void (PropertyChangeEvent event) { if (DOCUMENT.equals(event.getPropertyName())) { if (event.getOldValue() instanceof Document) uninstallListener((Document)event.getOldValue()); if (event.getNewValue() instanceof Document) installListener((Document)event.getNewValue()); } else if (MONOSPACED.equals(event.getPropertyName())) { setMonospaced(event.getNewValue()); } else if (VARIANT.equals(event.getPropertyName())) { setVariant(event.getNewValue()); } else if (SEARCH_ICON.equals(event.getPropertyName())) { updateIcons(); } }