首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >如何更改Arduino IDE的主题?

如何更改Arduino IDE的主题?
EN

Ask Ubuntu用户
提问于 2013-02-06 16:16:50
回答 1查看 3.9K关注 0票数 1

据说,theme.txt文件位于themes文件夹中的某个位置,该文件夹本身必须位于/lib/usr/lib中的Arduino文件夹中,但我找不到这两个文件。

文件在哪里?

还有其他方法来改变主题吗?

*主题=配色方案

EN

回答 1

Ask Ubuntu用户

回答已采纳

发布于 2013-02-06 16:47:41

尝试运行sudo updatedb,然后运行locate arduinolocate theme.txt或相关搜索。

在我的系统中,我看到安装目录中的theme.txt

./arduino-1.0.3/lib/theme/theme.txt

这个博客上讨论了一个相关问题:

要使Arduino使用本机Swing窗口而不是强制GTK外观和感觉...,请更改以下一行:

代码语言:javascript
运行
复制
#comment out this line:
#java -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel processing.app.Base

#change it to this:
java processing.app.Base

如果这仍然相关,您可以通过直接更改GTK主题来处理主题。

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

https://askubuntu.com/questions/252030

复制
相关文章

相似问题

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