TextUI mapper = comp.getUI();
Rectangle r2 = mapper.modelToView(comp, getDot() + 1);
int width = r2.x - r.x;
if (width == 0)
width = 8;
comp.repaint(r.x, r.y, width, r.height);
x = r.x;
y = r.y;
this.width = width;
height = r.height;
} catch (BadLocationException badlocationexception) {