会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
彭成刚_Reciter | 技术博客
博客园
首页
新随笔
联系
订阅
管理
2024年2月22日
aardio ide 字体 及设置
摘要: 需求 aardio ide 只支持一个字体,英文字体肯定是Fira 但是中文字体不好,所以只好将两个字体合并上使用。 有教程。但是我发现已经有合并好的,就拿来使用吧放到fonts目录里面 代码 import ide; ide.setConfig("editor_font_name","FiraFZH
阅读全文
posted @ 2024-02-22 11:13 彭成刚
阅读(61)
评论(0)
推荐(0)
编辑
公告