Set the zoom level when the app is ready.

Akos Kitta · Akos Kitta · commit 3909b75adf53 · 2022-07-27T11:23:58.000+02:00
Closes #1244. Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
diff --git a/arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx b/arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx
@@ -104,7 +104,7 @@ export class ArduinoFrontendContribution
         }
       }
     });
-    this.appStateService.reachedState('initialized_layout').then(() =>
+    this.appStateService.reachedState('ready').then(() =>
       this.arduinoPreferences.ready.then(() => {
         const webContents = remote.getCurrentWebContents();
         const zoomLevel = this.arduinoPreferences.get(

Original file line number	Diff line number	Diff line change
`@@ -104,7 +104,7 @@ export class ArduinoFrontendContribution`
`104`	`104`	`}`
`105`	`105`	`}`
`106`	`106`	`});`
`107`		`- this.appStateService.reachedState('initialized_layout').then(() =>`
	`107`	`+ this.appStateService.reachedState('ready').then(() =>`
`108`	`108`	`this.arduinoPreferences.ready.then(() => {`
`109`	`109`	`const webContents = remote.getCurrentWebContents();`
`110`	`110`	`const zoomLevel = this.arduinoPreferences.get(`