diff options
Diffstat (limited to 'libjava/javax')
| -rw-r--r-- | libjava/javax/swing/text/DefaultEditorKit.java | 3 | ||||
| -rw-r--r-- | libjava/javax/swing/text/JTextComponent.java | 26 |
2 files changed, 26 insertions, 3 deletions
diff --git a/libjava/javax/swing/text/DefaultEditorKit.java b/libjava/javax/swing/text/DefaultEditorKit.java index ecec707..891731f 100644 --- a/libjava/javax/swing/text/DefaultEditorKit.java +++ b/libjava/javax/swing/text/DefaultEditorKit.java @@ -110,7 +110,6 @@ public class DefaultEditorKit extends EditorKit t.getDocument().insertString(t.getCaret().getDot(), event.getActionCommand(), null); t.getCaret().setDot(Math.min(t.getCaret().getDot() + 1, t.getDocument().getEndPosition().getOffset())); - t.repaint(); } catch (BadLocationException be) { @@ -251,7 +250,6 @@ public class DefaultEditorKit extends EditorKit if (pos < t.getDocument().getEndPosition().getOffset()) { t.getDocument().remove(t.getCaret().getDot(), 1); - t.repaint(); } } catch (BadLocationException e) @@ -275,7 +273,6 @@ public class DefaultEditorKit extends EditorKit { t.getDocument().remove(pos - 1, 1); t.getCaret().setDot(pos - 1); - t.repaint(); } } catch (BadLocationException e) diff --git a/libjava/javax/swing/text/JTextComponent.java b/libjava/javax/swing/text/JTextComponent.java index f3721a8..fa0040b 100644 --- a/libjava/javax/swing/text/JTextComponent.java +++ b/libjava/javax/swing/text/JTextComponent.java @@ -894,11 +894,30 @@ public abstract class JTextComponent extends JComponent private Insets margin; private boolean dragEnabled; + /** Issues repaint request on document changes. */ + private DocumentListener repaintListener; + /** * Creates a new <code>JTextComponent</code> instance. */ public JTextComponent() { + repaintListener = new DocumentListener() + { + public void changedUpdate(DocumentEvent ev) + { + repaint(); + } + public void insertUpdate(DocumentEvent ev) + { + repaint(); + } + public void removeUpdate(DocumentEvent ev) + { + repaint(); + } + }; + Keymap defkeymap = getKeymap(DEFAULT_KEYMAP); boolean creatingKeymap = false; if (defkeymap == null) @@ -932,6 +951,13 @@ public abstract class JTextComponent extends JComponent { Document oldDoc = doc; doc = newDoc; + + // setup document listener + if (oldDoc != null) + oldDoc.removeDocumentListener(repaintListener); + if (newDoc != null) + newDoc.addDocumentListener(repaintListener); + firePropertyChange("document", oldDoc, newDoc); revalidate(); repaint(); |