branch | svghmi |
changeset 2918 | 5cb6ab87b185 |
parent 2456 | 7373e3048167 |
child 3303 | 0ffb41625592 |
--- a/controls/CustomStyledTextCtrl.py Fri Apr 03 14:37:41 2020 +0200 +++ b/controls/CustomStyledTextCtrl.py Sat Apr 04 09:41:32 2020 +0200 @@ -40,7 +40,7 @@ else: faces = { 'times': 'Times', - 'mono': 'Courier', + 'mono': 'FreeMono', 'helv': 'Helvetica', 'other': 'new century schoolbook', 'size': 12,