diff -r 32ffdb32b14e -r 4ba3bdc7d71f BeremizIDE.py --- 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, }