mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-13 22:36:32 +00:00
set focus on main sketch.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
fc09dc3613
commit
f375202c5d
@ -265,6 +265,7 @@ export class ArduinoFrontendContribution implements FrontendApplicationContribut
|
||||
for (const uri of [...sketch.otherSketchFileUris, ...sketch.additionalFileUris]) {
|
||||
await this.editorManager.open(new URI(uri));
|
||||
}
|
||||
await this.editorManager.open(new URI(sketch.mainFileUri)); // Activates the editor of the main sketch file.
|
||||
}
|
||||
|
||||
registerColors(colors: ColorRegistry): void {
|
||||
|
Loading…
x
Reference in New Issue
Block a user