Pull requests: arduino/arduino-ide
Pull requests list
Check for IDE update at startup topic: code Related to content of the project itself
#797 by AlbyIanna was merged Feb 15, 2022 Loading…
Remove irrelevant trigger from "Compose full changelog" workflow topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#886 by per1234 was merged Mar 4, 2022 Loading…
3 of 4 tasks
Add Linux AppImage to nightly build download links topic: documentation Related to documentation for the project type: enhancement Proposed improvement
#885 by per1234 was merged Mar 7, 2022 Loading…
4 tasks done
Remove irrelevant statement from EULA topic: infrastructure Related to project infrastructure type: imperfection Perceived defect in any part of project
#891 by per1234 was merged Mar 8, 2022 Loading…
3 of 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…
Disable automatic application start after install via Windows Installer os: windows Specific to Windows operating system topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#942 by per1234 was merged Apr 6, 2022 Loading…
Editor Language selector conclusion: duplicate Has already been submitted topic: code Related to content of the project itself type: enhancement Proposed improvement
#625 by fstasi was closed Nov 23, 2021 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…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.