# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1585986092 -7200
# Node ID 4ba3bdc7d71f6ca2db18790be3de84a677330ff0
# Parent  32ffdb32b14ef6c2d4638d326f35013fd90a404a
Fix unmatched "Courier" font for monospace fonts on latest ubuntu 20.04. Selected "FreeMono" instead, present since at least 18.04

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,
     }
 
diff -r 32ffdb32b14e -r 4ba3bdc7d71f controls/CustomStyledTextCtrl.py
--- a/controls/CustomStyledTextCtrl.py	Mon Jul 13 13:56:42 2020 +0200
+++ b/controls/CustomStyledTextCtrl.py	Sat Apr 04 09:41:32 2020 +0200
@@ -40,7 +40,7 @@
 else:
     faces = {
         'times': 'Times',
-        'mono':  'Courier',
+        'mono':  'FreeMono',
         'helv':  'Helvetica',
         'other': 'new century schoolbook',
         'size':  12,
diff -r 32ffdb32b14e -r 4ba3bdc7d71f controls/LogViewer.py
--- a/controls/LogViewer.py	Mon Jul 13 13:56:42 2020 +0200
+++ b/controls/LogViewer.py	Sat Apr 04 09:41:32 2020 +0200
@@ -339,7 +339,7 @@
         if wx.Platform == '__WXMSW__':
             self.Font = wx.Font(8, wx.SWISS, wx.NORMAL, wx.NORMAL, faceName='Courier New')
         else:
-            self.Font = wx.Font(10, wx.SWISS, wx.NORMAL, wx.NORMAL, faceName='Courier')
+            self.Font = wx.Font(10, wx.SWISS, wx.NORMAL, wx.NORMAL, faceName='FreeMono')
         self.MessagePanel.Bind(wx.EVT_LEFT_UP, self.OnMessagePanelLeftUp)
         self.MessagePanel.Bind(wx.EVT_RIGHT_UP, self.OnMessagePanelRightUp)
         self.MessagePanel.Bind(wx.EVT_LEFT_DCLICK, self.OnMessagePanelLeftDCLick)
diff -r 32ffdb32b14e -r 4ba3bdc7d71f editors/ConfTreeNodeEditor.py
--- a/editors/ConfTreeNodeEditor.py	Mon Jul 13 13:56:42 2020 +0200
+++ b/editors/ConfTreeNodeEditor.py	Sat Apr 04 09:41:32 2020 +0200
@@ -48,7 +48,7 @@
 else:
     faces = {
         'times': 'Times',
-        'mono':  'Courier',
+        'mono':  'FreeMono',
         'helv':  'Helvetica',
         'other': 'new century schoolbook',
         'size':  18,
diff -r 32ffdb32b14e -r 4ba3bdc7d71f editors/Viewer.py
--- a/editors/Viewer.py	Mon Jul 13 13:56:42 2020 +0200
+++ b/editors/Viewer.py	Sat Apr 04 09:41:32 2020 +0200
@@ -82,7 +82,7 @@
 else:
     faces = {
         'times': 'Times',
-        'mono':  'Courier',
+        'mono':  'FreeMono',
         'helv':  'Helvetica',
         'other': 'new century schoolbook',
         'size':  10,