mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
forcefully restart all files on dumbness change
This commit is contained in:
@@ -190,11 +190,11 @@ class DaemonListeners implements Disposable {
|
||||
|
||||
connection.subscribe(DumbService.DUMB_MODE, new DumbService.DumbModeListener() {
|
||||
public void enteredDumbMode() {
|
||||
stopDaemon(true);
|
||||
myDaemonCodeAnalyzer.restart();
|
||||
}
|
||||
|
||||
public void exitDumbMode() {
|
||||
stopDaemon(true);
|
||||
myDaemonCodeAnalyzer.restart();
|
||||
}
|
||||
});
|
||||
|
||||
|
||||
Reference in New Issue
Block a user