512 |
protected void deleteObj() { deleteFont(getId()); } |
protected void deleteObj() { deleteFont(getId()); } |
513 |
public float getHeight() { return height; } |
public float getHeight() { return height; } |
514 |
public float getYOffs() { return yoffs; } |
public float getYOffs() { return yoffs; } |
515 |
public void getWidths(short[] w) { putFontWidths(getId(), w); } |
public void getWidths(float[] w) { putFontWidths(getId(), w); } |
516 |
} |
} |
517 |
static public Font createFont(String name, int loadPt) { |
static public Font createFont(String name, int loadPt) { |
518 |
return new Font(createFontImpl(name, loadPt)); |
return new Font(createFontImpl(name, loadPt)); |
521 |
static private native float getFontYOffs(int id); |
static private native float getFontYOffs(int id); |
522 |
static private native int createFontImpl(String name, int loadPt); |
static private native int createFontImpl(String name, int loadPt); |
523 |
static private native void deleteFont(int id); |
static private native void deleteFont(int id); |
524 |
static private native void putFontWidths(int id, short[] w); |
static private native void putFontWidths(int id, float[] w); |
525 |
|
|
526 |
//--------- DisplayList |
//--------- DisplayList |
527 |
static public class DisplayList extends NonRenderableJavaObject{ |
static public class DisplayList extends NonRenderableJavaObject{ |