editors/Viewer.py
changeset 2719 745b64e7c695
parent 2704 4ba3bdc7d71f
child 2737 38afed869ff6
--- a/editors/Viewer.py	Fri Dec 25 17:12:02 2020 +0000
+++ b/editors/Viewer.py	Mon Jan 18 10:59:28 2021 +0100
@@ -82,7 +82,7 @@
 else:
     faces = {
         'times': 'Times',
-        'mono':  'Courier',
+        'mono':  'FreeMono',
         'helv':  'Helvetica',
         'other': 'new century schoolbook',
         'size':  10,