/**
* Returns the value for a parameter.
*/
public string get_parameter(String name, @Optional double modifier)
{
if ("fontname".equals(name))
{
PDFFont font = _stream.getFont();
if (font != null)
{
return(font.getFontName());
}
else
{
return(null);
}
}
else
{
return(null);
}
}
