editors/ConfTreeNodeEditor.py
changeset 2719 745b64e7c695
parent 2704 4ba3bdc7d71f
child 3288 8f3cb4b47cbb
equal deleted inserted replaced
2718:76e8ec46828a 2719:745b64e7c695
    46         'size':  16,
    46         'size':  16,
    47     }
    47     }
    48 else:
    48 else:
    49     faces = {
    49     faces = {
    50         'times': 'Times',
    50         'times': 'Times',
    51         'mono':  'Courier',
    51         'mono':  'FreeMono',
    52         'helv':  'Helvetica',
    52         'helv':  'Helvetica',
    53         'other': 'new century schoolbook',
    53         'other': 'new century schoolbook',
    54         'size':  18,
    54         'size':  18,
    55     }
    55     }
    56 
    56