247 |
native void drawString (GdkFontPeer f, String str, int x, int y); |
native void drawString (GdkFontPeer f, String str, int x, int y); |
248 |
public void drawString (String str, int x, int y) |
public void drawString (String str, int x, int y) |
249 |
{ |
{ |
|
// FIXME: Possibly more characters we need to ignore/ |
|
|
// Also, implementation may be inefficent because allocating |
|
|
// new Strings. |
|
|
str = Pattern.compile("[\b|\t|\n|\f|\r|\"|\']").matcher(str).replaceAll(""); |
|
250 |
drawString(getFontPeer(), str, x, y); |
drawString(getFontPeer(), str, x, y); |
251 |
} |
} |
252 |
|
|