controls/CustomStyledTextCtrl.py
changeset 1739 ec153828ded2
parent 1736 7e61baa047f0
child 1747 6046ffa2280f
--- 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 = [