You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The Courier font in the REPL is too thin, resulting in poor readability. Could it be changed into one of modern fonts (e.g. Fira, Cascadia, Intel One, Ubuntu Mono, Julia Mono, etc.)?
The text was updated successfully, but these errors were encountered:
I don't mind tweaking the font stack, but out of interest which OS and browser are you using? Can you show me a screenshot of how it looks on your machine?
IIRC we are just using the default fonts provided by the editor library (CodeMirror) and terminal (xterm.js).
I use MS Windows and the Edge web browser. I attach the screenshot -- for
the moment, I have access to a low-DPI screen only. The font looks much
worse (extremely thin) on a high-DPI screen (4K). For the
default monospace font, I use Cartograph CF (visible in the script pane).
![screenshot](https://github.com/user-attachments/assets/e6da6bfd-de8b-4e19-885c-ed090211c56f)
The Courier font in the REPL is too thin, resulting in poor readability. Could it be changed into one of modern fonts (e.g. Fira, Cascadia, Intel One, Ubuntu Mono, Julia Mono, etc.)?
The text was updated successfully, but these errors were encountered: