public class EditorHighlighterUpdater
extends java.lang.Object
Constructor and Description |
---|
EditorHighlighterUpdater(Project project,
Disposable parentDisposable,
EditorEx editor,
VirtualFile file) |
Modifier and Type | Method and Description |
---|---|
static void |
completeAsyncTasks() |
protected EditorHighlighter |
createHighlighter() |
void |
updateHighlighters()
Updates editors' highlighters.
|
void |
updateHighlightersAsync() |
protected final Project myProject
public EditorHighlighterUpdater(Project project, Disposable parentDisposable, EditorEx editor, VirtualFile file)
public void updateHighlightersAsync()
protected EditorHighlighter createHighlighter()
public void updateHighlighters()
public static void completeAsyncTasks()