mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
refresh todo configuration on color scheme change
This commit is contained in:
@@ -292,6 +292,7 @@ public class DaemonListeners implements Disposable {
|
||||
inspectionProfileManager.addProfileChangeListener(new MyProfileChangeListener(), this);
|
||||
inspectionProjectProfileManager.addProfilesListener(new MyProfileChangeListener(), this);
|
||||
todoConfiguration.addPropertyChangeListener(new MyTodoListener(), this);
|
||||
todoConfiguration.colorSettingsChanged();
|
||||
actionManagerEx.addAnActionListener(new MyAnActionListener(), this);
|
||||
virtualFileManager.addVirtualFileListener(new VirtualFileAdapter() {
|
||||
@Override
|
||||
@@ -474,6 +475,7 @@ public class DaemonListeners implements Disposable {
|
||||
private class MyEditorColorsListener implements EditorColorsListener {
|
||||
@Override
|
||||
public void globalSchemeChange(EditorColorsScheme scheme) {
|
||||
TodoConfiguration.getInstance().colorSettingsChanged();
|
||||
stopDaemonAndRestartAllFiles();
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user