Closed jvaverka closed 2 years ago
The REPL font is rough when connecting to JuliaIDE from within the Brave browser.
This occurs with
settings.json
Seems like this is happening due to a privacy feature: https://github.com/xtermjs/xterm.js/wiki/FAQ
Not sure what the actual option you need to disable is called.
The REPL font is rough when connecting to JuliaIDE from within the Brave browser.
This occurs with
settings.json
)