RIDE is essentially a Chromium web browser and fonts are controlled by CSS.
so if you could find the CSS file style/ride-base.css in your installation (for example /Applications/Dyalog.app/Contents/Resources/Dyalog/RIDEapp/style on macOS), you can modify the line that defines apl font family to the font that you desire.
Or you can F12 in RIDE to open the web inspector to test out the font on the fly.
0
Bruno Adam
On
You can also use <CTRL>+<+> and <CTRL>-<-> to increase/descrease the font size.
RIDE is essentially a Chromium web browser and fonts are controlled by CSS. so if you could find the CSS file
style/ride-base.cssin your installation (for example/Applications/Dyalog.app/Contents/Resources/Dyalog/RIDEapp/styleon macOS), you can modify the line that definesaplfont family to the font that you desire.Or you can
F12in RIDE to open the web inspector to test out the font on the fly.