|
|
@ -349,6 +349,10 @@ public class LineNumberList extends AbstractGutterComponent |
|
|
|
int width = metrics.stringWidth(number); |
|
|
|
int width = metrics.stringWidth(number); |
|
|
|
g.drawString(number, rhs-width,y); |
|
|
|
g.drawString(number, rhs-width,y); |
|
|
|
y += cellHeight; |
|
|
|
y += cellHeight; |
|
|
|
|
|
|
|
if (fm == null) { |
|
|
|
|
|
|
|
line++; |
|
|
|
|
|
|
|
continue; |
|
|
|
|
|
|
|
} |
|
|
|
Fold fold = fm.getFoldForLine(line-1); |
|
|
|
Fold fold = fm.getFoldForLine(line-1); |
|
|
|
// Skip to next line to paint, taking extra care for lines with
|
|
|
|
// Skip to next line to paint, taking extra care for lines with
|
|
|
|
// block ends and begins together, e.g. "} else {"
|
|
|
|
// block ends and begins together, e.g. "} else {"
|
|
|
@ -371,6 +375,10 @@ public class LineNumberList extends AbstractGutterComponent |
|
|
|
String number = Integer.toString(line + getLineNumberingStartIndex() - 1); |
|
|
|
String number = Integer.toString(line + getLineNumberingStartIndex() - 1); |
|
|
|
g.drawString(number, RHS_BORDER_WIDTH, y); |
|
|
|
g.drawString(number, RHS_BORDER_WIDTH, y); |
|
|
|
y += cellHeight; |
|
|
|
y += cellHeight; |
|
|
|
|
|
|
|
if (fm == null) { |
|
|
|
|
|
|
|
line++; |
|
|
|
|
|
|
|
continue; |
|
|
|
|
|
|
|
} |
|
|
|
Fold fold = fm.getFoldForLine(line-1); |
|
|
|
Fold fold = fm.getFoldForLine(line-1); |
|
|
|
// Skip to next line to paint, taking extra care for lines with
|
|
|
|
// Skip to next line to paint, taking extra care for lines with
|
|
|
|
// block ends and begins together, e.g. "} else {"
|
|
|
|
// block ends and begins together, e.g. "} else {"
|
|
|
|