# HG changeset patch
# User Andrey Skvortsov <andrej.skvortzov@gmail.com>
# Date 1537960522 -10800
# Node ID a56362c818a3986c2da4f487458dbbe4f7054497
# Parent  94045bfa2d9482bba7bf256f09bda7f2434a401e
use the same font size on Windows and GNU/Linux

diff -r 94045bfa2d94 -r a56362c818a3 editors/Viewer.py
--- a/editors/Viewer.py	Wed Sep 26 12:13:23 2018 +0300
+++ b/editors/Viewer.py	Wed Sep 26 14:15:22 2018 +0300
@@ -83,7 +83,7 @@
         'mono':  'Courier',
         'helv':  'Helvetica',
         'other': 'new century schoolbook',
-        'size':  12,
+        'size':  10,
     }
 
 if wx.Platform == '__WXMSW__':