Functions | |
FONT | font.load (STRING path) |
Load a font for use it later. More... | |
NIL | font.setdefault (NUMBER type) |
Set the font type as default for function screen.print(). More... | |
NIL | font.setdefault (FONT fnt) |
Sets a font as default for the function screen.print(). More... | |
NIL | font.setdefault (STRING path) |
Sets a font as default for the function screen.print(). More... | |
NUMBER | font.type (FONT fnt) |
Allows to know the type of the font. More... | |
Manage pgf or ttf fonts.
FONT font.load | ( | STRING | path | ) |
Load a font for use it later.
path | Path to the font to load (pgf, pvf or ttf format). |
NIL font.setdefault | ( | NUMBER | type | ) |
Set the font type as default for function screen.print().
type | The type of font to set, could be any of the following values:
|
NIL font.setdefault | ( | FONT | fnt | ) |
Sets a font as default for the function screen.print().
fnt | a font already loaded. |
NIL font.setdefault | ( | STRING | path | ) |
Sets a font as default for the function screen.print().
path | Path to the font to load (pgf or ttf format). |
NUMBER font.type | ( | FONT | fnt | ) |
Allows to know the type of the font.
fnt | An font type object. |