Searched refs:ptfont (Results 1 – 2 of 2) sorted by relevance
307 ptfont();384 ptfont();522 ptfont() in ptfont() function538 ptfont(); /* make sure that it gets noticed */589 ptfont(); in newpage()
1416 ptfont();