controls/CustomStyledTextCtrl.py
changeset 2719 745b64e7c695
parent 2704 4ba3bdc7d71f
child 3303 0ffb41625592
equal deleted inserted replaced
2718:76e8ec46828a 2719:745b64e7c695
    38         'size':  10,
    38         'size':  10,
    39     }
    39     }
    40 else:
    40 else:
    41     faces = {
    41     faces = {
    42         'times': 'Times',
    42         'times': 'Times',
    43         'mono':  'Courier',
    43         'mono':  'FreeMono',
    44         'helv':  'Helvetica',
    44         'helv':  'Helvetica',
    45         'other': 'new century schoolbook',
    45         'other': 'new century schoolbook',
    46         'size':  12,
    46         'size':  12,
    47     }
    47     }
    48 
    48