BeremizIDE.py
changeset 2704 4ba3bdc7d71f
parent 2624 570cf07c3fd1
child 2726 c465414017a2
--- a/BeremizIDE.py	Mon Jul 13 13:56:42 2020 +0200
+++ b/BeremizIDE.py	Sat Apr 04 09:41:32 2020 +0200
@@ -103,7 +103,7 @@
     }
 else:
     faces = {
-        'mono': 'Courier',
+        'mono': 'FreeMono',
         'size': 10,
     }