Tente executar sudo updatedb
then locate arduino
ou locate theme.txt
ou uma pesquisa relacionada.
No meu sistema, vejo theme.txt
no diretório de instalação:
./arduino-1.0.3/lib/theme/theme.txt
Uma questão relacionada é discutida em este blog :
Para fazer o Arduino usar o janelamento nativo do Swing em vez de forçar o O visual e a mudança do GTK [...] mudam a seguinte linha:
#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
Se isso ainda for relevante, você poderá trabalhar com temas alterando a temática do GTK diretamente.