- 
 
- 
  Notifications
 You must be signed in to change notification settings 
- Fork 512
Pull requests: arduino/arduino-ide
Pull requests list
 fix: use Related to the Theia IDE framework 
 
 type: imperfection
 Perceived defect in any part of project 
 
 
 
 
 ElectronConnectionHandler to connect the ide updater frontend and the electron main process 
 
 
 topic: theia
 
 
 #2697
 by giacomocusinato
 
 was merged Apr 9, 2025 
 
 
 
 
 
 Loading...
 
 
 
 
 
 fix: prevent Related to content of the project itself 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: imperfection
 Perceived defect in any part of project 
 
 
 
 
 OutputWidget to gain focus when updated
 
 
 topic: code
 
 
 #2681
 by giacomocusinato
 
 was merged Apr 3, 2025 
 
 
 
 
 
 Loading...
 
 
 
 
 
 feat: use Related to content of the project itself 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: enhancement
 Proposed improvement 
 
 
theia@1.57.0
 
 
 topic: code
 
 
 #2654
 by giacomocusinato
 
 was merged Mar 28, 2025 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 4 tasks
 
 
 
 chore: use Has already been submitted 
 
 topic: code
 Related to content of the project itself 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: enhancement
 Proposed improvement 
 
 
theia@1.46.1
 
 
 conclusion: duplicate
 
 
 #2362
 by kittaakos
 
 was closed Mar 25, 2025 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 4 tasks
 
 
 
 chore(deps): update to Theia Related to the Theia IDE framework 
 
 type: enhancement
 Proposed improvement 
 
 
 
 
 
1.42.1
 
 
 topic: theia
 
 fix: falsy context menu Related to content of the project itself 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: imperfection
 Perceived defect in any part of project 
 
 
handlerId
 
 
 topic: code
 
 
 #2183
 by kittaakos
 
 was merged Aug 22, 2023 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 4 tasks
 
 
 
 chore(deps): Updated to Theia Related to content of the project itself 
 
 topic: infrastructure
 Related to project infrastructure 
 
 topic: security
 Related to the protection of user data 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: enhancement
 Proposed improvement 
 
 
1.39.0
 
 
 topic: code
 
 
 #2144
 by kittaakos
 
 was merged Aug 14, 2023 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 1 of 5 tasks
 
 
 
 chore: Theia 1.37.0
 
 
 topic: code
 Related to content of the project itself 
 
 topic: security
 Related to the protection of user data 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: enhancement
 Proposed improvement 
 
 
 
 #2027
 by kittaakos
 
 was merged May 9, 2023 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 4 tasks
 
 
 
 NO-MERGE: chore: Updated to Issue/PR not valid 
 
 topic: code
 Related to content of the project itself 
 
 topic: infrastructure
 Related to project infrastructure 
 
 topic: theia
 Related to the Theia IDE framework 
 
 
 
 
 
1.36.0 Theia
 
 
 conclusion: invalid
 
 chore: updated to Theia Issue/PR not valid 
 
 topic: code
 Related to content of the project itself 
 
 topic: theia
 Related to the Theia IDE framework 
 
 
 
 
 
1.35.0
 
 
 conclusion: invalid
 
 fix: let the resource finish all write operation
 
 
 topic: code
 Related to content of the project itself 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: imperfection
 Perceived defect in any part of project 
 
 
 
 #1972
 by kittaakos
 
 was merged Mar 28, 2023 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 4 tasks
 
 
 
 chore: Updated to Theia Related to content of the project itself 
 
 topic: infrastructure
 Related to project infrastructure 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: enhancement
 Proposed improvement 
 
 
1.31.1
 
 
 topic: code
 
 
 #1662
 by kittaakos
 
 was merged Nov 29, 2022 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 4 tasks
 
 
 
 Better tooltips.
 
 
 topic: code
 Related to content of the project itself 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: imperfection
 Perceived defect in any part of project 
 
 
 
 #1504
 by dankeboy36
 
 was merged Oct 7, 2022 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 4 tasks
 
 
 
 #989 Listen on keyboard layout changes from the OS
 
 
 topic: code
 Related to content of the project itself 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: imperfection
 Perceived defect in any part of project 
 
 
 
 #1478
 by kittaakos
 
 was merged Sep 26, 2022 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 4 tasks
 
 
 
 #1210 Fixed highlighting of non-unicode chars in Output
 
 
 topic: code
 Related to content of the project itself 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: imperfection
 Perceived defect in any part of project 
 
 
 
 #1375
 by kittaakos
 
 was merged Aug 31, 2022 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 4 tasks
 
 
 
 Update BUILDING.md
 
 
 topic: documentation
 Related to documentation for the project 
 
 topic: infrastructure
 Related to project infrastructure 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: imperfection
 Perceived defect in any part of project 
 
 
 
 #1281
 by InstantMuffin
 
 was merged Aug 3, 2022 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 4 tasks done
 
 
 
 Register custom themes after the monaco theme init
 
 
 topic: code
 Related to content of the project itself 
 
 topic: theia
 Related to the Theia IDE framework 
 
 topic: theme
 Related to GUI theming 
 
 type: imperfection
 Perceived defect in any part of project 
 
 
 
 #1257
 by AlbyIanna
 
 was merged Jul 29, 2022 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 4 tasks
 
 
 
 [WIP]: Theia 1.27.0 signed
 
 
 conclusion: invalid
 Issue/PR not valid 
 
 topic: infrastructure
 Related to project infrastructure 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: enhancement
 Proposed improvement 
 
 
 
 
 
 Update Theia version to 1.25.0
 
 
 topic: theia
 Related to the Theia IDE framework 
 
 
 
 #947
 by msujew
 
 was merged May 25, 2022 
 
 
 
 
 
 Loading...
 
 
  
 
 
 
 
 
 
 
 
 
 4 tasks
 
 
 
 Update Theia to 1.22.1
 
 
 topic: infrastructure
 Related to project infrastructure 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: enhancement
 Proposed improvement 
 
 
 
 
 
 
 #791
 by msujew
 
 was merged Feb 11, 2022 
 
 
 
 
 
 Loading...
 
 
 
 
 
 Update Theia, CLI and LS
 
 
 topic: code
 Related to content of the project itself 
 
 topic: theia
 Related to the Theia IDE framework 
 
 
 
 
 
 
 #610
 by fstasi
 
 was merged Nov 29, 2021 
 
 
 
 
 
 Loading...
 
 
 
 
 
 Theia 18 hotfixes
 
 
 topic: code
 Related to content of the project itself 
 
 topic: theia
 Related to the Theia IDE framework 
 
 type: imperfection
 Perceived defect in any part of project 
 
 
 
 
 
 
 #528
 by fstasi
 
 was merged Oct 6, 2021 
 
 
 
 
 
 Loading...
 
 
 
 
 
 
 ProTip!
 Exclude everything labeled 
 bug with -label:bug.
 
 
 You can’t perform that action at this time.