jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-13 04:09:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

[atl-1433][atl-1433] improve local sketchbook explorer (#446)

Browse Source
This commit is contained in:
Francesco Stasi
2021-07-21 15:48:15 +02:00
committed by GitHub
parent 4e6f9ae75d
commit 4da5d573e4
6 changed files with 287 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-widget.tsx
View File

@@ -38,6 +38,10 @@ export class SketchbookWidget extends BaseWidget {
);
}
getTreeWidget(): SketchbookTreeWidget {
return this.localSketchbookTreeWidget;
}
protected onActivateRequest(message: Message): void {
super.onActivateRequest(message);