--- a/editors/Viewer.py Mon Jul 13 13:56:42 2020 +0200
+++ b/editors/Viewer.py Sat Apr 04 09:41:32 2020 +0200
@@ -82,7 +82,7 @@
else:
faces = {
'times': 'Times',
- 'mono': 'Courier',
+ 'mono': 'FreeMono',
'helv': 'Helvetica',
'other': 'new century schoolbook',
'size': 10,