mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Make is possible to enhance color schemes from plugin in non-intellij environment (e.g. upsource)
This commit is contained in:
+1
-1
@@ -333,7 +333,7 @@ public abstract class AbstractColorsScheme implements EditorColorsScheme {
|
||||
initFonts();
|
||||
}
|
||||
|
||||
protected void readAttributes(@NotNull Element childNode) {
|
||||
public void readAttributes(@NotNull Element childNode) {
|
||||
for (Element e : childNode.getChildren(OPTION_ELEMENT)) {
|
||||
TextAttributesKey name = TextAttributesKey.find(e.getAttributeValue(NAME_ATTR));
|
||||
TextAttributes attr = new TextAttributes(e.getChild(VALUE_ELEMENT));
|
||||
|
||||
Reference in New Issue
Block a user