|
| From: | Torsten Lilge |
| Subject: | [Octave-bug-tracker] [bug #59128] Bad default font choices on macOS 10.15 Catalina |
| Date: | Mon, 21 Sep 2020 15:47:33 -0400 (EDT) |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/83.0.4103.116 Safari/537.36 |
Follow-up Comment #11, bug #59128 (project octave):
This brings me to the question why Octave has chosen different fonts for
console and editor window.
Andrew, did Octave showed the welcome wizard at startup? And what are the
values of the following entries in the preferences file directly after the
first start?
[Scintilla]
...
Octave/defaultfont
[terminal]
...
fontName
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?59128>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |