--- a/editors/ConfTreeNodeEditor.py Fri Dec 25 17:12:02 2020 +0000
+++ b/editors/ConfTreeNodeEditor.py Mon Jan 18 10:59:28 2021 +0100
@@ -48,7 +48,7 @@
else:
faces = {
'times': 'Times',
- 'mono': 'Courier',
+ 'mono': 'FreeMono',
'helv': 'Helvetica',
'other': 'new century schoolbook',
'size': 18,