如何在 RIDE 中为 Dyalog APL 更改字体？
[英]How to change the font in RIDE for Dyalog APL?
问题描述
There are many APL Fonts I am interested in using with the Remote IDE for Dyalog APL .
有许多APL Fonts我有兴趣将Remote IDE 用于 Dyalog APL 。
How do I change the font in RIDE?如何更改 RIDE 中的字体？
1 个解决方案
解决方案1
0 2022-08-15 13:58:52
RIDE is essentially a Chromium web browser and fonts are controlled by CSS. RIDE 本质上是一个 Chromium web 浏览器和 fonts 由 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.因此，如果您可以在安装中找到 CSS 文件style/ride-base.css （例如 macOS 上的/Applications/Dyalog.app/Contents/Resources/Dyalog/RIDEapp/style ），您可以修改定义apl字体的行家庭到您想要的字体。
Or you can F12 in RIDE to open the web inspector to test out the font on the fly.或者您可以在 RIDE 中按F12打开 web 检查器以即时测试字体。
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.