如何在Dyalog APL的RIDE中更改字体?

3
2个回答

5
RIDE本质上是一个基于Chromium的Web浏览器,字体由CSS控制。因此,如果您可以在安装中找到CSS文件style/ride-base.css(例如,在macOS上为/Applications/Dyalog.app/Contents/Resources/Dyalog/RIDEapp/style),则可以修改定义apl字体系列的行以使用所需的字体。或者,您可以在RIDE中按F12打开Web检查器实时测试字体。

enter image description here


1
感谢您的帮助!我使用的是 macOS,正确的 CSS 文件位置为 /Applications/Dyalog-18.2.app/Contents/Resources/app/style - eitanlees

0

你也可以使用 <CTRL>+<+><CTRL>-<-> 来增加/减小字体大小。


网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接