chore: Switched to `window.zoomLevel` preference #1675

kittaakos merged 2 commits intomainarduino/arduino-ide:mainfrom

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