41 |
import java.awt.Component; |
import java.awt.Component; |
42 |
import java.awt.Dimension; |
import java.awt.Dimension; |
43 |
import java.awt.Image; |
import java.awt.Image; |
44 |
|
import java.awt.Insets; |
45 |
import java.awt.Rectangle; |
import java.awt.Rectangle; |
46 |
import java.awt.Point; |
import java.awt.Point; |
47 |
import javax.accessibility.Accessible; |
import javax.accessibility.Accessible; |
385 |
return null; |
return null; |
386 |
} |
} |
387 |
|
|
388 |
|
public Insets getMargin() |
389 |
|
{ |
390 |
|
// FIXME: Not implemented. |
391 |
|
return null; |
392 |
|
} |
393 |
|
|
394 |
public void setText(String text) |
public void setText(String text) |
395 |
{ |
{ |
396 |
getDocument().remove(0,doc.getLength()); |
getDocument().remove(0,doc.getLength()); |