diff --git a/platform/platform-api/src/com/intellij/ide/ui/UITheme.java b/platform/platform-api/src/com/intellij/ide/ui/UITheme.java index 757f643bb010..08d7153764b5 100644 --- a/platform/platform-api/src/com/intellij/ide/ui/UITheme.java +++ b/platform/platform-api/src/com/intellij/ide/ui/UITheme.java @@ -31,6 +31,7 @@ public class UITheme { private boolean dark; private String author; private String id; + private String editorScheme; private Map ui; private Map icons; private IconPathPatcher patcher; @@ -73,6 +74,15 @@ public class UITheme { return id; } + @Nullable + public String getEditorScheme() { + return editorScheme; + } + + public Map getBackground() { + return background; + } + public void applyProperties(UIDefaults defaults) { if (ui == null) return; @@ -223,8 +233,9 @@ public class UITheme { this.icons = icons; } - public Map getBackground() { - return background; + @SuppressWarnings("unused") + public void setEditorScheme(String editorScheme) { + this.editorScheme = editorScheme; } public void setBackground(Map background) {