382 |
public void insertUpdate(DocumentEvent changes, Shape a, ViewFactory f) |
public void insertUpdate(DocumentEvent changes, Shape a, ViewFactory f) |
383 |
{ |
{ |
384 |
insertOrRemoveUpdate(changes, a, f); |
insertOrRemoveUpdate(changes, a, f); |
385 |
|
((JTextComponent)getContainer()).repaint(); |
386 |
} |
} |
387 |
|
|
388 |
/** |
/** |
396 |
public void removeUpdate(DocumentEvent changes, Shape a, ViewFactory f) |
public void removeUpdate(DocumentEvent changes, Shape a, ViewFactory f) |
397 |
{ |
{ |
398 |
insertOrRemoveUpdate(changes, a, f); |
insertOrRemoveUpdate(changes, a, f); |
399 |
|
((JTextComponent)getContainer()).repaint(); |
400 |
} |
} |
401 |
} |
} |
402 |
|
|