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)