110 |
t.getDocument().insertString(t.getCaret().getDot(), event.getActionCommand(), null); |
t.getDocument().insertString(t.getCaret().getDot(), event.getActionCommand(), null); |
111 |
t.getCaret().setDot(Math.min(t.getCaret().getDot() + 1, |
t.getCaret().setDot(Math.min(t.getCaret().getDot() + 1, |
112 |
t.getDocument().getEndPosition().getOffset())); |
t.getDocument().getEndPosition().getOffset())); |
|
t.repaint(); |
|
113 |
} |
} |
114 |
catch (BadLocationException be) |
catch (BadLocationException be) |
115 |
{ |
{ |
250 |
if (pos < t.getDocument().getEndPosition().getOffset()) |
if (pos < t.getDocument().getEndPosition().getOffset()) |
251 |
{ |
{ |
252 |
t.getDocument().remove(t.getCaret().getDot(), 1); |
t.getDocument().remove(t.getCaret().getDot(), 1); |
|
t.repaint(); |
|
253 |
} |
} |
254 |
} |
} |
255 |
catch (BadLocationException e) |
catch (BadLocationException e) |
273 |
{ |
{ |
274 |
t.getDocument().remove(pos - 1, 1); |
t.getDocument().remove(pos - 1, 1); |
275 |
t.getCaret().setDot(pos - 1); |
t.getCaret().setDot(pos - 1); |
|
t.repaint(); |
|
276 |
} |
} |
277 |
} |
} |
278 |
catch (BadLocationException e) |
catch (BadLocationException e) |