46 |
import java.awt.Shape; |
import java.awt.Shape; |
47 |
|
|
48 |
import javax.swing.event.DocumentEvent; |
import javax.swing.event.DocumentEvent; |
|
import javax.swing.event.DocumentEvent.ElementChange; |
|
49 |
import javax.swing.text.Position.Bias; |
import javax.swing.text.Position.Bias; |
50 |
|
|
51 |
/** |
/** |
272 |
public void insertUpdate (DocumentEvent e, Shape a, ViewFactory f) |
public void insertUpdate (DocumentEvent e, Shape a, ViewFactory f) |
273 |
{ |
{ |
274 |
super.insertUpdate(e, a, viewFactory); |
super.insertUpdate(e, a, viewFactory); |
275 |
|
// FIXME: could improve performance by repainting only the necessary area |
276 |
|
getContainer().repaint(); |
277 |
} |
} |
278 |
|
|
279 |
/** |
/** |
283 |
public void removeUpdate (DocumentEvent e, Shape a, ViewFactory f) |
public void removeUpdate (DocumentEvent e, Shape a, ViewFactory f) |
284 |
{ |
{ |
285 |
super.removeUpdate(e, a, viewFactory); |
super.removeUpdate(e, a, viewFactory); |
286 |
|
// FIXME: could improve performance by repainting only the necessary area |
287 |
|
getContainer().repaint(); |
288 |
} |
} |
289 |
|
|
290 |
/** |
/** |
295 |
public void changedUpdate (DocumentEvent e, Shape a, ViewFactory f) |
public void changedUpdate (DocumentEvent e, Shape a, ViewFactory f) |
296 |
{ |
{ |
297 |
super.changedUpdate(e, a, viewFactory); |
super.changedUpdate(e, a, viewFactory); |
298 |
|
// FIXME: could improve performance by repainting only the necessary area |
299 |
|
getContainer().repaint(); |
300 |
} |
} |
301 |
|
|
302 |
class WrappedLineCreator implements ViewFactory |
class WrappedLineCreator implements ViewFactory |