118c96 - Use Type 1 fonts when viewing DVI files

Authored and Committed by mkasik 14 years ago
    - Use Type 1 fonts when viewing DVI files
    - Use correct name when the font is mapped
    - Related: #562648
    
        
file modified
+12 -2