158159160161162163164165166167168
gc.drawLine(caret.x, caret.y, caret.x, caret.y + size.y); gc.setForeground(originalForeground); } st.redraw(); st.update(); // draw new caret if (caret == null) { caret = newCaret; } else {