--- a/controls/CustomStyledTextCtrl.py Mon Aug 14 23:38:28 2017 +0300
+++ b/controls/CustomStyledTextCtrl.py Tue Aug 15 12:17:51 2017 +0300
@@ -27,17 +27,17 @@
if wx.Platform == '__WXMSW__':
faces = { 'times': 'Times New Roman',
- 'mono' : 'Courier New',
- 'helv' : 'Arial',
+ 'mono': 'Courier New',
+ 'helv': 'Arial',
'other': 'Comic Sans MS',
- 'size' : 10,
+ 'size': 10,
}
else:
faces = { 'times': 'Times',
- 'mono' : 'Courier',
- 'helv' : 'Helvetica',
+ 'mono': 'Courier',
+ 'helv': 'Helvetica',
'other': 'new century schoolbook',
- 'size' : 12,
+ 'size': 12,
}
NAVIGATION_KEYS = [