Skip to content

Pull requests: arduino/arduino-ide

New pull request New
Clear current search query, filters, and sorts
14 Open 149 Closed
14 Open 149 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update translation files
#1269 by github-actions bot was merged Aug 1, 2022 Loading… updated Aug 1, 2022
Update translation files type: enhancement Proposed improvement
#1249 by github-actions bot was merged Jul 29, 2022 Loading… updated Jul 29, 2022
2.0.0-rc9 topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#1228 by AlbyIanna was merged Jul 20, 2022 Loading… updated Jul 22, 2022
4 tasks
Update translation files topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#1201 by github-actions bot was merged Jul 20, 2022 Loading… updated Jul 20, 2022
Use 0.25.0-rc2 CLI.
#1221 by kittaakos was merged Jul 19, 2022 Loading… updated Jul 19, 2022
4 tasks
Localize commands topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
#1196 by AlbyIanna was merged Jul 18, 2022 Loading… updated Jul 19, 2022
4 tasks
2
Avoid duplicated serial plotter builds topic: infrastructure Related to project infrastructure type: imperfection Perceived defect in any part of project
#1174 by francescospissu was merged Jul 13, 2022 Loading… updated Jul 18, 2022
4 tasks
6
Update themes topic: theme Related to GUI theming
#1203 by github-actions bot was merged Jul 18, 2022 Loading… updated Jul 18, 2022
Update themes conclusion: duplicate Has already been submitted topic: theme Related to GUI theming
#1195 by github-actions bot was closed Jul 15, 2022 Loading… updated Jul 16, 2022
1
Update the background of a selected item in the sketchbook topic: code Related to content of the project itself
#1190 by francescospissu was merged Jul 15, 2022 Loading… updated Jul 15, 2022
4 tasks
2
Update themes topic: theme Related to GUI theming
#1187 by github-actions bot was merged Jul 15, 2022 Loading… updated Jul 15, 2022
4
Discovery cleanup conclusion: declined Will not be worked on topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
#1181 by kittaakos was closed Jul 14, 2022 Loading… updated Jul 15, 2022
4 tasks
2
Update translation files type: enhancement Proposed improvement
#1164 by github-actions bot was merged Jul 14, 2022 Loading… updated Jul 14, 2022
Patched the default theme behavior. topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
#1177 by francescospissu was closed Jul 13, 2022 • Draft updated Jul 13, 2022
4 tasks
Use require#resolve to locate the plotter app. topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
#1178 by francescospissu was merged Jul 13, 2022 Loading… updated Jul 13, 2022
4 tasks
Update themes conclusion: duplicate Has already been submitted topic: theme Related to GUI theming
#1155 by github-actions bot was closed Jul 8, 2022 Loading… updated Jul 8, 2022
1
Update translation files
#1052 by github-actions bot was merged Jul 7, 2022 Loading… updated Jul 7, 2022
Window min size topic: code Related to content of the project itself
#1151 by AlbyIanna was merged Jul 7, 2022 Loading… updated Jul 7, 2022
4 tasks
3
4
Update themes topic: theme Related to GUI theming
#1149 by github-actions bot was merged Jul 5, 2022 Loading… updated Jul 5, 2022
change output buffer to setTimeout instead of setInterval topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
#1123 by davegarthsimpson was merged Jul 5, 2022 Loading… updated Jul 5, 2022
4 tasks
10
Increase sketchbook list item height topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
#1146 by francescospissu was merged Jul 5, 2022 Loading… updated Jul 5, 2022
4 tasks
1
1
Increase sketchbook tree indentation to reflect design system topic: code Related to content of the project itself type: enhancement Proposed improvement type: imperfection Perceived defect in any part of project
#1148 by francescospissu was merged Jul 5, 2022 Loading… updated Jul 5, 2022
4 tasks
3
IDE updater dialog colors fix topic: code Related to content of the project itself topic: theme Related to GUI theming type: imperfection Perceived defect in any part of project
#1092 by francescospissu was merged Jun 21, 2022 Loading… updated Jul 4, 2022
4 tasks
1
Update themes conclusion: invalid Issue/PR not valid topic: theme Related to GUI theming
#1069 by github-actions bot was closed Jun 17, 2022 Loading… updated Jul 4, 2022
1
Update themes conclusion: invalid Issue/PR not valid topic: theme Related to GUI theming
#1033 by github-actions bot was closed Jun 10, 2022 Loading… updated Jul 4, 2022
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.