jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-06-12 15:16:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fixed layout initialization.

Browse Source 
Fixes for eclipse-theia/theia#6688

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta 2019-12-04 16:37:01 +01:00
parent c7242ca34f
commit 6e89e89738
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/browser/customization/arduino-frontend-application.ts
View File

@ -21,7 +21,7 @@ export class ArduinoFrontendApplication extends FrontendApplication {
protected readonly editorMode: EditorMode; protected readonly editorMode: EditorMode;
protected async initializeLayout(): Promise<void> { protected async initializeLayout(): Promise<void> {
super.initializeLayout().then(() => { return super.initializeLayout().then(() => {
// If not in PRO mode, we open the sketch file with all the related files. // If not in PRO mode, we open the sketch file with all the related files.
// Otherwise, we reuse the workbench's restore functionality and we do not open anything at all. // Otherwise, we reuse the workbench's restore functionality and we do not open anything at all.
// TODO: check `otherwise`. Also, what if we check for opened editors, instead of blindly opening them? // TODO: check `otherwise`. Also, what if we check for opened editors, instead of blindly opening them?