123 |
{ |
{ |
124 |
metrics = g.getFontMetrics(); |
metrics = g.getFontMetrics(); |
125 |
// FIXME: Selected text are not drawn yet. |
// FIXME: Selected text are not drawn yet. |
126 |
Element line = getDocument().getDefaultRootElement().getElement(lineIndex); |
Element line = getElement().getElement(lineIndex); |
127 |
drawUnselectedText(g, x, y, line.getStartOffset(), line.getEndOffset()); |
drawUnselectedText(g, x, y, line.getStartOffset(), line.getEndOffset()); |
128 |
//drawSelectedText(g, , , , ); |
//drawSelectedText(g, , , , ); |
129 |
} |
} |