118c96
- Use Type 1 fonts when viewing DVI files - Use correct name when the font is mapped - Related: #562648