有许多APL字体我感兴趣地与用于Dyalog APL的远程IDE一起使用。
我该如何在旅途中改变字体?
发布于 2022-08-15 13:58:52
RIDE本质上是一个Chromium浏览器,字体由CSS控制。因此,如果您可以在安装中找到CSS文件style/ride-base.css (例如,/Applications/Dyalog.app/Contents/Resources/Dyalog/RIDEapp/style on macOS),则可以将字体族修改为所需的字体。
或者您可以在F12中打开网页检查器,实时测试字体。

https://stackoverflow.com/questions/73360895
复制相似问题