/[classpath]/classpath/javax/swing/text/DefaultEditorKit.java
ViewVC logotype

Diff of /classpath/javax/swing/text/DefaultEditorKit.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.7.2.4 by gnu_andrew, Sat Jan 22 02:20:02 2005 UTC revision 1.7.2.5 by gnu_andrew, Mon Apr 18 01:37:40 2005 UTC
# Line 110  public class DefaultEditorKit extends Ed Line 110  public class DefaultEditorKit extends Ed
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              {              {
# Line 251  public class DefaultEditorKit extends Ed Line 250  public class DefaultEditorKit extends Ed
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)
# Line 275  public class DefaultEditorKit extends Ed Line 273  public class DefaultEditorKit extends Ed
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)

Legend:
Removed from v.1.7.2.4  
changed lines
  Added in v.1.7.2.5

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26