changeset 2719 | 745b64e7c695 |
parent 2704 | 4ba3bdc7d71f |
child 3303 | 0ffb41625592 |
--- a/controls/CustomStyledTextCtrl.py Fri Dec 25 17:12:02 2020 +0000 +++ b/controls/CustomStyledTextCtrl.py Mon Jan 18 10:59:28 2021 +0100 @@ -40,7 +40,7 @@ else: faces = { 'times': 'Times', - 'mono': 'Courier', + 'mono': 'FreeMono', 'helv': 'Helvetica', 'other': 'new century schoolbook', 'size': 12,