42 |
|
|
43 |
public interface TextAreaPeer extends TextComponentPeer |
public interface TextAreaPeer extends TextComponentPeer |
44 |
{ |
{ |
45 |
|
public void insert(String text, int pos); |
46 |
public abstract void insert(String text, int pos); |
public void insertText(String text, int pos); |
47 |
public abstract void insertText(String text, int pos); |
public Dimension minimumSize(int rows, int cols); |
48 |
public abstract Dimension minimumSize(int rows, int cols); |
public Dimension getMinimumSize(int rows, int cols); |
49 |
public abstract Dimension getMinimumSize(int rows, int cols); |
public Dimension preferredSize(int rows, int cols); |
50 |
public abstract Dimension preferredSize(int rows, int cols); |
public Dimension getPreferredSize(int rows, int cols); |
51 |
public abstract Dimension getPreferredSize(int rows, int cols); |
public void replaceRange(String text, int start_pos, int end_pos); |
52 |
public abstract void replaceRange(String text, int start_pos, int end_pos); |
public void replaceText(String text, int start_pos, int end_pos); |
|
public abstract void replaceText(String text, int start_pos, int end_pos); |
|
|
|
|
53 |
} // interface TextAreaPeer |
} // interface TextAreaPeer |