jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-09 10:28:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,069 Commits 31 Branches 52 Tags
07962e81d4d3ec124b080d6425f5c2a3995fc9e8
Commit Graph

3 Commits

Author SHA1 Message Date
Akos Kitta
07962e81d4 Moved uncloseable widget tracking to manager. 
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
 2022-08-26 14:18:39 +02:00
Akos Kitta
0c87fa9877 Update currentSketch when files change. 
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
 2022-08-26 14:18:39 +02:00
Akos Kitta
84109e416a Fixed widget lookup to eliminate duplicate tabs. 
- Removed `@theia/editor-preview`,
 - Patched opener options when repairing layout on start, and
 - Compare widget keys with deepEquals instead of string equal.

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
 2022-06-22 10:11:11 +02:00