home *** CD-ROM | disk | FTP | other *** search
- package sun.awt.windows;
-
- import java.awt.Dimension;
- import java.awt.FontMetrics;
- import java.awt.TextArea;
- import java.awt.peer.TextAreaPeer;
-
- class WTextAreaPeer extends WTextComponentPeer implements TextAreaPeer {
- public Dimension getMinimumSize() {
- return this.getMinimumSize(10, 60);
- }
-
- public void insert(String var1, int var2) {
- this.insertText(var1, var2);
- }
-
- public void replaceRange(String var1, int var2, int var3) {
- this.replaceText(var1, var2, var3);
- }
-
- public Dimension getPreferredSize(int var1, int var2) {
- return this.getMinimumSize(var1, var2);
- }
-
- public Dimension getMinimumSize(int var1, int var2) {
- FontMetrics var3 = ((WComponentPeer)this).getFontMetrics(((TextArea)super.target).getFont());
- return new Dimension(var3.charWidth('0') * var2 + 20, var3.getHeight() * var1 + 20);
- }
-
- WTextAreaPeer(TextArea var1) {
- super(var1);
- }
-
- native void create(WComponentPeer var1);
-
- public native void insertText(String var1, int var2);
-
- public native void replaceText(String var1, int var2, int var3);
-
- public Dimension minimumSize() {
- return this.getMinimumSize();
- }
-
- public Dimension minimumSize(int var1, int var2) {
- return this.getMinimumSize(var1, var2);
- }
-
- public Dimension preferredSize(int var1, int var2) {
- return this.getPreferredSize(var1, var2);
- }
- }
-