controls/CustomStyledTextCtrl.py
changeset 1747 6046ffa2280f
parent 1739 ec153828ded2
child 1847 6198190bc121
--- a/controls/CustomStyledTextCtrl.py	Wed Aug 16 12:03:46 2017 +0300
+++ b/controls/CustomStyledTextCtrl.py	Wed Aug 16 12:21:05 2017 +0300
@@ -26,19 +26,21 @@
 import wx.stc
 
 if wx.Platform == '__WXMSW__':
-    faces = { 'times': 'Times New Roman',
-              'mono':  'Courier New',
-              'helv':  'Arial',
-              'other': 'Comic Sans MS',
-              'size':  10,
-             }
+    faces = {
+        'times': 'Times New Roman',
+        'mono':  'Courier New',
+        'helv':  'Arial',
+        'other': 'Comic Sans MS',
+        'size':  10,
+    }
 else:
-    faces = { 'times': 'Times',
-              'mono':  'Courier',
-              'helv':  'Helvetica',
-              'other': 'new century schoolbook',
-              'size':  12,
-             }
+    faces = {
+        'times': 'Times',
+        'mono':  'Courier',
+        'helv':  'Helvetica',
+        'other': 'new century schoolbook',
+        'size':  12,
+    }
 
 NAVIGATION_KEYS = [
     wx.WXK_END,