protected static final class LineGutterPlugin.MarkComparator extends java.lang.Object implements java.util.Comparator<GutterMark>
Modifier | Constructor and Description |
---|---|
protected |
LineGutterPlugin.MarkComparator() |
Modifier and Type | Method and Description |
---|---|
int |
compare(GutterMark m1, GutterMark m2) |
public int compare(GutterMark m1, GutterMark m2)
compare
in interface java.util.Comparator<GutterMark>