--- 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, }