Parent Directory | Revision Log | Patch
revision 1.21 by abalkiss, Tue Sep 20 19:22:14 2005 UTC | revision 1.22 by rabbit78, Fri Sep 30 19:54:18 2005 UTC | |
---|---|---|
# | Line 222 public class DefaultEditorKit extends Ed | Line 222 public class DefaultEditorKit extends Ed |
222 | { | { |
223 | t.getDocument().insertString(t.getCaret().getDot(), | t.getDocument().insertString(t.getCaret().getDot(), |
224 | event.getActionCommand(), null); | event.getActionCommand(), null); |
t.getCaret().setDot(Math.min(t.getCaret().getDot() + 1, | ||
t.getDocument().getEndPosition() | ||
.getOffset())); | ||
225 | } | } |
226 | catch (BadLocationException be) | catch (BadLocationException be) |
227 | { | { |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |