Fix unmatched "Courier" font for monospace fonts on latest ubuntu 20.04. Selected "FreeMono" instead, present since at least 18.04
authorEdouard Tisserant <edouard.tisserant@gmail.com>
Sat, 04 Apr 2020 09:41:32 +0200
changeset 2704 4ba3bdc7d71f
parent 2703 32ffdb32b14e
child 2705 889ec6db6f7d
Fix unmatched "Courier" font for monospace fonts on latest ubuntu 20.04. Selected "FreeMono" instead, present since at least 18.04
BeremizIDE.py
controls/CustomStyledTextCtrl.py
controls/LogViewer.py
editors/ConfTreeNodeEditor.py
editors/Viewer.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,
     }
 
--- 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,
--- 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)
--- 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,
--- 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,