/**
* @param i default: server dependent font
*/
public void set_font(Font f)
{
set (14, f.id);
}
/**
* @see #poly_text(GC, int, int, Text[])
*/
public void text(GC gc, int x, int y, String s, int delta, Font font)
{
poly_text (gc, x, y, new Text [] {new Text (s, delta, font)});
}
/**
* @see #change(GC.Values)
* @see Values#set_font(Font)
*/
public void set_font(Font font)
{
Values gc_values = new Values ();
gc_values.set_font (font);
change (gc_values);
}
public Text(String s, int delta, Font font)
{
this.s = s;
this.delta = delta;
this.font = font;
}
