feat: removed non-official themes from the settings dialog#1994

kittaakos merged 2 commits intomainarduino/arduino-ide:mainfrom

#1283arduino/arduino-ide:#1283Copy head branch name to clipboard