极客工坊

 找回密码
 注册

QQ登录

只需一步,快速开始

查看: 13118|回复: 2

arduino IDE 的字体可以改吗?

[复制链接]
发表于 2017-9-24 12:33:18 | 显示全部楼层 |阅读模式
本帖最后由 arduinofancier 于 2017-10-2 10:54 编辑



arduinoIDE的字体不太好看,请问一下能不能更改。
谢谢

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复

使用道具 举报

发表于 2017-9-24 16:40:54 | 显示全部楼层
可以
文件→首选项
最下方有一个链接,应该是连到AppData\Local\Arduino15里的一个txt文件
里面有一个editor.font属性,等号后面第一个是字体,第三个是字号
回复 支持 反对

使用道具 举报

 楼主| 发表于 2017-10-2 10:54:15 | 显示全部楼层
zjz5717 发表于 2017-9-24 16:40
可以
文件→首选项
最下方有一个链接,应该是连到AppData\Local\Arduino15里的一个txt文件

谢谢 已经解决
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则 需要先绑定手机号

Archiver|联系我们|极客工坊

GMT+8, 2024-4-19 17:07 , Processed in 0.037384 second(s), 19 queries .

Powered by Discuz! X3.4 Licensed

Copyright © 2001-2021, Tencent Cloud.

快速回复 返回顶部 返回列表