Как изменить тему Arduino IDE?
Говорят, что файл theme.txt находится где-то в папке themes, которая сама должна находиться в папке Arduino в /lib или /usr/lib, но я не могу найти ни один из файлов.
Где находятся файлы?
Есть ли другой способ изменить тему?
* theme = color-схема
1 ответ
Попробуйте запустить sudo updatedb, затем locate arduino или locate theme.txt или связанный поиск.
В моей системе я вижу theme.txt в каталоге установки:
./arduino-1.0.3/lib/theme/theme.txt
Связанная проблема обсуждается в в этом блоге :
Чтобы заставить Arduino использовать собственный оконный механизм Swing вместо того, чтобы заставлять GTK выглядеть и чувствовать [...], измените следующую строку:
#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 напрямую.