mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-09 04:16:38 +00:00
fix: defer board+port state update for extensions
If it is set before the board+port settings are restored from the `localStorage`, extensions will see no board+port. Ref: arduino/arduino-ide#2165 Ref: dankeboy36/esp-exception-decoder#10 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
This commit is contained in:
parent
ec28623a97
commit
9f48296d4d
@ -76,7 +76,9 @@ export class UpdateArduinoState extends SketchContribution {
|
|||||||
}
|
}
|
||||||
|
|
||||||
override onReady(): void {
|
override onReady(): void {
|
||||||
this.updateBoardsConfig(this.boardsServiceProvider.boardsConfig); // TODO: verify!
|
this.boardsServiceProvider.ready.then(() => {
|
||||||
|
this.updateBoardsConfig(this.boardsServiceProvider.boardsConfig);
|
||||||
|
});
|
||||||
this.updateSketchPath(this.sketchServiceClient.tryGetCurrentSketch());
|
this.updateSketchPath(this.sketchServiceClient.tryGetCurrentSketch());
|
||||||
this.updateUserDirPath(this.configService.tryGetSketchDirUri());
|
this.updateUserDirPath(this.configService.tryGetSketchDirUri());
|
||||||
this.updateDataDirPath(this.configService.tryGetDataDirUri());
|
this.updateDataDirPath(this.configService.tryGetDataDirUri());
|
||||||
|
Loading…
x
Reference in New Issue
Block a user