Allow install Theme from Preferences dialog#10202

ricardojlrufino wants to merge 6 commits into

arduino:masterarduino/Arduino:masterfrom

ricardojlrufino:pr-install-themericardojlrufino/Arduino:pr-install-themeCopy head branch name to clipboard