beremiz

Fix unmatched "Courier" font for monospace fonts on latest ubuntu 20.04. Selected "FreeMono" instead, present since at least 18.04

2020-04-04, Edouard Tisserant
4ba3bdc7d71f
Parents 32ffdb32b14e
Children 889ec6db6f7d
Fix unmatched "Courier" font for monospace fonts on latest ubuntu 20.04. Selected "FreeMono" instead, present since at least 18.04
5 files changed, 5 insertions(+), 5 deletions(-)
  • +1 -1
    BeremizIDE.py
  • +1 -1
    controls/CustomStyledTextCtrl.py
  • +1 -1
    controls/LogViewer.py
  • +1 -1
    editors/ConfTreeNodeEditor.py
  • +1 -1
    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,