no-merge: added a preference to reproduce #1791 by kittaakos · Pull Request #1970 · arduino/arduino-ide