Add a replacement font to Courier New (#629)

* Add a replacement fonts to Courier New: Ubuntu Mono and Monospaced --------- Co-authored-by: rcassani <[email protected]>
brainstorm-tools · Jul 5, 2023 · 11b3c6a · 11b3c6a
1 parent a2732fc
commit 11b3c6a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/toolbox/core/bst_get.m b/toolbox/core/bst_get.m
@@ -3920,7 +3920,11 @@
  % Font types
  fontTypes = {};
  if (nargin >= 3)
- fontTypes{end + 1} = varargin{3};
+ if ischar(varargin{3})
+ fontTypes = varargin(3);
+ else
+ fontTypes = varargin{3};
+ end
  else
  fontTypes{end + 1} = 'Arial'; % Default font
  fontTypes{end + 1} = 'Liberation Sans'; % Free Arial substitute

diff --git a/toolbox/gui/view_text.m b/toolbox/gui/view_text.m
@@ -69,7 +69,7 @@
 jTextArea.setEditable(0);
 jTextArea.setBackground(Color(1,1,1));
 jTextArea.setMargin(java_create('java.awt.Insets', 'IIII', 10,25,10,25));
-jTextArea.setFont(bst_get('Font', 12, 'Courier New'));
+jTextArea.setFont(bst_get('Font', 12, {'Courier New', 'Ubuntu Mono', 'Monospaced'}));
 jFrame.getContentPane.add(JScrollPane(jTextArea));
 
 % Add OK button if need to wait