@Override
public void repaint(long tm, int x, int y, int width, int height) {
// This forces repaint to repaint the entire TextPane.
super.repaint(tm, 0, 0, getWidth(), getHeight());
}
@Override
public void repaint(long tm, int x, int y, int width, int height) {
// This forces repaint to repaint the entire TextPane.
super.repaint(tm, 0, 0, getWidth(), getHeight());
}
