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)