Fix unmatched "Courier" font for monospace fonts on latest ubuntu 20.04. Selected "FreeMono" instead, present since at least 18.04 svghmi
authorEdouard Tisserant <edouard.tisserant@gmail.com>
Sat, 04 Apr 2020 09:41:32 +0200
branchsvghmi
changeset 2918 5cb6ab87b185
parent 2917 c8d923dd707f
child 2919 c6e6051898f5
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	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,
     }
 
--- a/controls/CustomStyledTextCtrl.py	Fri Apr 03 14:37:41 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	Fri Apr 03 14:37:41 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	Fri Apr 03 14:37:41 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	Fri Apr 03 14:37:41 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,