284 |
native public void drawRect(int x, int y, int width, int height); |
native public void drawRect(int x, int y, int width, int height); |
285 |
native public void fillRect (int x, int y, int width, int height); |
native public void fillRect (int x, int y, int width, int height); |
286 |
|
|
287 |
native void drawString (String str, int x, int y, String fname, int style, int size); |
GdkFontPeer getFontPeer() |
288 |
|
{ |
289 |
|
return (GdkFontPeer) getFont().getPeer(); |
290 |
|
} |
291 |
|
|
292 |
|
native void drawString (GdkFontPeer f, String str, int x, int y); |
293 |
public void drawString (String str, int x, int y) |
public void drawString (String str, int x, int y) |
294 |
{ |
{ |
295 |
drawString (str, x, y, font.getName(), font.getStyle(), font.getSize()); |
drawString(getFontPeer(), str, x, y); |
296 |
} |
} |
297 |
|
|
298 |
|
|
299 |
public void drawString (AttributedCharacterIterator ci, int x, int y) |
public void drawString (AttributedCharacterIterator ci, int x, int y) |
300 |
{ |
{ |
301 |
throw new Error ("not implemented"); |
throw new Error ("not implemented"); |