首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >如何更改Dyalog APL的字体?

如何更改Dyalog APL的字体?
EN

Stack Overflow用户
提问于 2022-08-15 12:16:16
回答 1查看 59关注 0票数 3

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

我该如何在旅途中改变字体?

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 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中打开网页检查器,实时测试字体。

票数 5
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/73360895

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档