Drop the `arduino.window.zoomLevel` preference and use Theia's `window.zoomLevel` instead

[kittaakos]

Describe the request

IDE2 introduced the arduino.window.zoomLevel preference when Theia could not adjust, store, and restore the zoom level. More recent versions of Theia can do it. Drop the Arduino-specific preference for the window zoom level.

Describe the current behavior

See above.

Arduino IDE version

2.0.1

Operating system

N/A

Operating system version

all

Additional context

No response

Issue checklist

• I searched for previous requests in the issue tracker
• I verified the feature was still missing when using the latest nightly build
• My request contains all necessary details