public abstract class DiffGutterOperation
extends java.lang.Object
| Modifier and Type | Class and Description | 
|---|---|
| static interface  | DiffGutterOperation.ModifiersRendererBuilder | 
| static interface  | DiffGutterOperation.RendererBuilder | 
| static class  | DiffGutterOperation.Simple | 
| static class  | DiffGutterOperation.WithModifiers | 
| Constructor and Description | 
|---|
| DiffGutterOperation(Editor editor,
                   int offset) | 
| Modifier and Type | Method and Description | 
|---|---|
| protected abstract GutterIconRenderer | createRenderer() | 
| void | dispose() | 
| static int | lineToOffset(Editor editor,
            int line) | 
| void | update(boolean force) | 
public DiffGutterOperation(Editor editor, int offset)
public void dispose()
public void update(boolean force)
protected abstract GutterIconRenderer createRenderer()
public static int lineToOffset(Editor editor, int line)