mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
support editor color schemes in Themes
This commit is contained in:
@@ -31,6 +31,7 @@ public class UITheme {
|
||||
private boolean dark;
|
||||
private String author;
|
||||
private String id;
|
||||
private String editorScheme;
|
||||
private Map<String, Object> ui;
|
||||
private Map<String, Object> icons;
|
||||
private IconPathPatcher patcher;
|
||||
@@ -73,6 +74,15 @@ public class UITheme {
|
||||
return id;
|
||||
}
|
||||
|
||||
@Nullable
|
||||
public String getEditorScheme() {
|
||||
return editorScheme;
|
||||
}
|
||||
|
||||
public Map<String, Object> getBackground() {
|
||||
return background;
|
||||
}
|
||||
|
||||
public void applyProperties(UIDefaults defaults) {
|
||||
if (ui == null) return;
|
||||
|
||||
@@ -223,8 +233,9 @@ public class UITheme {
|
||||
this.icons = icons;
|
||||
}
|
||||
|
||||
public Map<String, Object> getBackground() {
|
||||
return background;
|
||||
@SuppressWarnings("unused")
|
||||
public void setEditorScheme(String editorScheme) {
|
||||
this.editorScheme = editorScheme;
|
||||
}
|
||||
|
||||
public void setBackground(Map<String, Object> background) {
|
||||
|
||||
Reference in New Issue
Block a user