|
Link Here
|
| 977 |
} |
977 |
} |
| 978 |
|
978 |
|
| 979 |
if (paintInfo.hasSign()) { |
979 |
if (paintInfo.hasSign()) { |
|
|
980 |
final Stroke origStroke = g2d.getStroke(); |
| 981 |
g2d.setStroke(getStroke(origStroke, paintInfo.signActive)); |
| 982 |
|
| 980 |
g.drawRect(markX, markY, markSize, markSize); |
983 |
g.drawRect(markX, markY, markSize, markSize); |
| 981 |
g.drawLine(plusGap + markX, markY + halfMarkSize, markSize + markX - plusGap, markY + halfMarkSize); |
984 |
g.drawLine(plusGap + markX, markY + halfMarkSize, markSize + markX - plusGap, markY + halfMarkSize); |
| 982 |
String opStr = (paintOperation == PAINT_MARK) ? "PAINT_MARK" : "SINGLE_PAINT_MARK"; // NOI18N |
985 |
String opStr = (paintOperation == PAINT_MARK) ? "PAINT_MARK" : "SINGLE_PAINT_MARK"; // NOI18N |
|
Link Here
|
| 999 |
// for this mark (it must be cleared explicitly). |
1002 |
// for this mark (it must be cleared explicitly). |
| 1000 |
drawFoldLine(g2d, paintInfo.lineOutActive, lineX, markY + markSize, lineX, y + height); |
1003 |
drawFoldLine(g2d, paintInfo.lineOutActive, lineX, markY + markSize, lineX, y + height); |
| 1001 |
} |
1004 |
} |
|
|
1005 |
g2d.setStroke(origStroke); |
| 1002 |
visibleMarks.add(new Mark(markX, markY, markSize, isFolded)); |
1006 |
visibleMarks.add(new Mark(markX, markY, markSize, isFolded)); |
| 1003 |
|
1007 |
|
| 1004 |
} else if (paintOperation == PAINT_LINE) { |
1008 |
} else if (paintOperation == PAINT_LINE) { |