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)