40 |
|
|
41 |
import java.awt.*; |
import java.awt.*; |
42 |
import java.awt.image.*; |
import java.awt.image.*; |
43 |
|
import java.text.AttributedCharacterIterator; |
44 |
|
|
45 |
public class GdkGraphics extends Graphics |
public class GdkGraphics extends Graphics |
46 |
{ |
{ |
212 |
((GtkFontPeer)font.getPeer ()).getXLFD (), font.getSize ()); |
((GtkFontPeer)font.getPeer ()).getXLFD (), font.getSize ()); |
213 |
} |
} |
214 |
|
|
215 |
|
public void drawString (AttributedCharacterIterator ci, int x, int y) |
216 |
|
{ |
217 |
|
throw new Error ("not implemented"); |
218 |
|
} |
219 |
|
|
220 |
public void drawRoundRect(int x, int y, int width, int height, |
public void drawRoundRect(int x, int y, int width, int height, |
221 |
int arcWidth, int arcHeight) |
int arcWidth, int arcHeight) |
222 |
{ |
{ |