BeremizIDE.py
branchsvghmi
changeset 2918 5cb6ab87b185
parent 2624 570cf07c3fd1
child 2726 c465414017a2
--- a/BeremizIDE.py	Fri Apr 03 14:37:41 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,
     }