-
- Notifications
You must be signed in to change notification settings - Fork 515
Pull requests: arduino/arduino-ide
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: propagate electron params in second instance startup topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
#2686 by giacomocusinato was merged Apr 5, 2025 Loading… updated Apr 5, 2025
fix: safer electron version parsing for electron-builder command topic: infrastructure Related to project infrastructure type: imperfection Perceived defect in any part of project
#2673 by giacomocusinato was merged Apr 1, 2025 Loading… updated Apr 7, 2025
4 tasks
Update translation files topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#2692 by github-actions bot was merged Apr 8, 2025 Loading… updated Apr 8, 2025
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… updated Apr 9, 2025
chore: switch to version 2.3.7 after the release topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#2701 by giacomocusinato was merged Apr 9, 2025 Loading… updated Apr 9, 2025
4 tasks
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… updated Jul 16, 2025
4 tasks
feat: add a copy button to serial monitor topic: code Related to content of the project itself topic: serial monitor Related to the Serial Monitor type: enhancement Proposed improvement
#2718 by 502E532E was merged Nov 5, 2025 Loading… updated Nov 5, 2025
4 tasks
[DO NOT MERGE] Temporary disable nightly & prod releases conclusion: invalid Issue/PR not valid
#2809 by giacomocusinato was closed Nov 6, 2025 Loading… updated Nov 8, 2025
Previous Next
ProTip! Adding no:label will show everything without a label.