45 |
{ |
{ |
46 |
native void create (int scrollbarVisibility); |
native void create (int scrollbarVisibility); |
47 |
|
|
48 |
|
native void gtkSetFont(String xlfd, int size); |
49 |
|
|
50 |
void create () |
void create () |
51 |
{ |
{ |
52 |
create (((TextArea)awtComponent).getScrollbarVisibility ()); |
create (((TextArea)awtComponent).getScrollbarVisibility ()); |
101 |
{ |
{ |
102 |
insert (str, pos); |
insert (str, pos); |
103 |
} |
} |
104 |
|
|
105 |
|
public void setFont (Font f) |
106 |
|
{ |
107 |
|
gtkSetFont(((GtkFontPeer)f.getPeer()).getXLFD(), f.getSize()); |
108 |
|
} |
109 |
} |
} |