MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

EditorColorsManager: fire change events both upon scheme change and modification

Browse Source
This commit is contained in:
Sergey Savenko
2014-12-01 21:25:18 +03:00
parent 08da5659ad
commit c5cab25c2e
1 changed files with 6 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/editor/colors/impl/EditorColorsManagerImpl.java
+6 -8
View File
@@ -228,19 +228,17 @@ public class EditorColorsManagerImpl extends EditorColorsManager implements Name
@Override
public void setGlobalScheme(@Nullable EditorColorsScheme scheme) {
if (setGlobalSchemeInner(scheme)) {
LafManager.getInstance().updateUI();
EditorFactory.getInstance().refreshAllEditors();
setGlobalSchemeInner(scheme);
fireChanges(scheme);
}
LafManager.getInstance().updateUI();
EditorFactory.getInstance().refreshAllEditors();
fireChanges(scheme);
}
private boolean setGlobalSchemeInner(@Nullable EditorColorsScheme scheme) {
private void setGlobalSchemeInner(@Nullable EditorColorsScheme scheme) {
String newValue = scheme == null ? getDefaultScheme().getName() : scheme.getName();
EditorColorsScheme oldValue = mySchemesManager.getCurrentScheme();
mySchemesManager.setCurrentSchemeName(newValue);
return oldValue != null && !Comparing.equal(newValue, oldValue.getName());
}
@NotNull