eit*_*ees 3 apl dyalog dyalog-ride
我有兴趣将许多APL 字体与Dyalog APL 的远程 IDE一起使用。
如何更改 RIDE 中的字体?
LdB*_*eth 5
RIDE 本质上是一个 Chromium Web 浏览器,字体由 CSS 控制。因此,如果您可以在安装中找到 CSS 文件style/ride-base.css(例如/Applications/Dyalog.app/Contents/Resources/Dyalog/RIDEapp/style在 macOS 上),则可以将定义apl字体系列的行修改为您想要的字体。
style/ride-base.css
/Applications/Dyalog.app/Contents/Resources/Dyalog/RIDEapp/style
apl
或者您可以F12在 RIDE 中打开 Web 检查器来动态测试字体。
F12
归档时间:
3 年,5 月 前
查看次数:
144 次
最近记录:
2 年,8 月 前