public static class DiffDividerDrawUtil.DividerSeparator
extends java.lang.Object
| Constructor and Description |
|---|
DividerSeparator(int start1,
int start2,
int end1,
int end2,
EditorColorsScheme scheme) |
| Modifier and Type | Method and Description |
|---|---|
void |
paint(java.awt.Graphics2D g,
int width) |
java.lang.String |
toString() |
public DividerSeparator(int start1,
int start2,
int end1,
int end2,
EditorColorsScheme scheme)