mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[fleet] restart highlighing on daemon settings changes FL-13504
GitOrigin-RevId: 92e39c94b5c998c93f81f7badfaf611ecd3c9a28
This commit is contained in:
committed by
intellij-monorepo-bot
parent
54b70615cf
commit
0ba95a838a
+4
@@ -11,6 +11,7 @@ import com.intellij.openapi.editor.impl.DocumentMarkupModel;
|
||||
import com.intellij.openapi.progress.ProgressIndicator;
|
||||
import com.intellij.openapi.progress.ProgressManager;
|
||||
import com.intellij.openapi.project.Project;
|
||||
import com.intellij.openapi.util.TextRange;
|
||||
import com.intellij.psi.PsiFile;
|
||||
import com.intellij.util.CommonProcessors;
|
||||
import com.intellij.util.Processor;
|
||||
@@ -91,4 +92,7 @@ public abstract class DaemonCodeAnalyzerEx extends DaemonCodeAnalyzer {
|
||||
|
||||
public abstract void addFileLevelHighlight(int group, @NotNull HighlightInfo info, @NotNull PsiFile psiFile);
|
||||
|
||||
public void markDocumentDirty(@NotNull Document document, @NotNull Object reason) {
|
||||
getFileStatusMap().markFileScopeDirty(document, new TextRange(0, document.getTextLength()), document.getTextLength(), reason);
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user