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)