diff -r 45d6f5fba016 -r 6046ffa2280f editors/Viewer.py
--- a/editors/Viewer.py	Wed Aug 16 12:03:46 2017 +0300
+++ b/editors/Viewer.py	Wed Aug 16 12:21:05 2017 +0300
@@ -65,19 +65,21 @@
         parent.Append(helpString=help, id=id, kind=kind, item=text)
 
 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,
+    }
 
 if wx.Platform == '__WXMSW__':
     MAX_ZOOMIN = 4