fix menu registration

Alberto Iannaccone · Alberto Iannaccone · commit 26f99c64e98f · 2022-10-06T12:37:12.000+02:00
diff --git a/arduino-ide-extension/src/browser/contributions/interface-scale.ts b/arduino-ide-extension/src/browser/contributions/interface-scale.ts
@@ -159,10 +159,9 @@ export class InterfaceScale extends Contribution {
         newFontScalingEnabled[key] !== this.fontScalingEnabled[key]
     );
     if (isChanged) {
-      this.registerMenus(this.menuRegistry);
       this.fontScalingEnabled = newFontScalingEnabled;
+      this.registerMenus(this.menuRegistry);
     }
-    this.fontScalingEnabled = newFontScalingEnabled;
     this.updateSettingsDebounced();
   }
 

Original file line number	Diff line number	Diff line change
`@@ -159,10 +159,9 @@ export class InterfaceScale extends Contribution {`
`159`	`159`	`newFontScalingEnabled[key] !== this.fontScalingEnabled[key]`
`160`	`160`	`);`
`161`	`161`	`if (isChanged) {`
`162`		`- this.registerMenus(this.menuRegistry);`
`162`	`this.fontScalingEnabled = newFontScalingEnabled;`
	`163`	`+ this.registerMenus(this.menuRegistry);`
`164`	`164`	`}`
`165`		`- this.fontScalingEnabled = newFontScalingEnabled;`
`166`	`165`	`this.updateSettingsDebounced();`
`167`	`166`	`}`
`168`	`167`