diff --git a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java index 66d5285bd087..998620ffa599 100644 --- a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java +++ b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java @@ -181,6 +181,7 @@ public class UISettings extends SimpleModificationTracker implements PersistentS } public static class FontFilter implements SerializationFilter { + @Override public boolean accepts(Accessor accessor, Object bean) { UISettings settings = (UISettings)bean; return !hasDefaultFontSetting(settings); @@ -192,10 +193,12 @@ public class UISettings extends SimpleModificationTracker implements PersistentS return fontData.first.equals(settings.FONT_FACE) && fontData.second.equals(settings.FONT_SIZE); } + @Override public UISettings getState() { return this; } + @Override public void loadState(UISettings object) { XmlSerializerUtil.copyBean(object, this);