public void drawString(final SunGraphics2D g2d, String s, double x, double y) {
Color co = g2d.getColor();
Font font = g2d.getFont();
if (font != null) {
JNodeToolkit tk = ((JNodeToolkit) Toolkit.getDefaultToolkit());
if (tk == null) {
System.err.println("Toolkit is null");
return;
}
if (tk.getFontManager() == null) {
System.err.println("FontManager is null");
return;
}
tk.getFontManager().drawText(new Surface() {
public void copyArea(int x, int y, int width, int height, int dx, int dy) {
org.jnode.vm.Unsafe.debug("DTP copyArea()\n");
g2d.copyArea(x, y, width, height, dx, dy);
}