如何更改 RIDE for Dyalog APL 中的字体？

Question

我有兴趣将许多APL 字体与Dyalog APL 的远程 IDE一起使用。

如何更改 RIDE 中的字体？

Answer 1

RIDE 本质上是一个 Chromium Web 浏览器，字体由 CSS 控制。因此，如果您可以在安装中找到 CSS 文件style/ride-base.css（例如/Applications/Dyalog.app/Contents/Resources/Dyalog/RIDEapp/style在 macOS 上），则可以将定义apl字体系列的行修改为您想要的字体。

或者您可以F12在 RIDE 中打开 Web 检查器来动态测试字体。