/**
* Loads a font for later use.
*
* @param name the font name, e.g. Helvetica
* @param encoding the font encoding, e.g. winansi
* @param opt any options
*/
public PDFFont load_font(String name, string encoding, string opt)
{
Font face = loadFont(name);
PDFFont font = new PDFFont(face, encoding, opt);
PDFFont oldFont = _fontMap.get(font);
if (oldFont != null)
{
return(oldFont);
}
font.setId(_out.allocateId(1));
_fontMap.put(font, font);
_out.addPendingObject(font);
return(font);
}
