editors/ConfTreeNodeEditor.py
branchsvghmi
changeset 2918 5cb6ab87b185
parent 2459 21164625b393
child 3288 8f3cb4b47cbb
equal deleted inserted replaced
2917:c8d923dd707f 2918:5cb6ab87b185
    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