editors/Viewer.py
changeset 2719 745b64e7c695
parent 2704 4ba3bdc7d71f
child 2737 38afed869ff6
equal deleted inserted replaced
2718:76e8ec46828a 2719:745b64e7c695
    80         'size':  10,
    80         'size':  10,
    81     }
    81     }
    82 else:
    82 else:
    83     faces = {
    83     faces = {
    84         'times': 'Times',
    84         'times': 'Times',
    85         'mono':  'Courier',
    85         'mono':  'FreeMono',
    86         'helv':  'Helvetica',
    86         'helv':  'Helvetica',
    87         'other': 'new century schoolbook',
    87         'other': 'new century schoolbook',
    88         'size':  10,
    88         'size':  10,
    89     }
    89     }
    90 
    90