public class ErrorStripeUpdateManager
extends java.lang.Object
| Constructor and Description |
|---|
ErrorStripeUpdateManager(Project project) |
| Modifier and Type | Method and Description |
|---|---|
protected TrafficLightRenderer |
createRenderer(Editor editor,
PsiFile file) |
static ErrorStripeUpdateManager |
getInstance(Project project) |
void |
repaintErrorStripePanel(Editor editor) |
protected void |
setOrRefreshErrorStripeRenderer(EditorMarkupModel editorMarkupModel,
PsiFile file) |
public ErrorStripeUpdateManager(Project project)
public static ErrorStripeUpdateManager getInstance(Project project)
public void repaintErrorStripePanel(Editor editor)
protected void setOrRefreshErrorStripeRenderer(EditorMarkupModel editorMarkupModel, PsiFile file)
protected TrafficLightRenderer createRenderer(Editor editor, PsiFile file)