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 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
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
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
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
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
Update themes topic: theme Related to GUI theming
#1149 by github-actions bot was merged Jul 5, 2022 Loading… updated Jul 5, 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 translation files
#1052 by github-actions bot was merged Jul 7, 2022 Loading… updated Jul 7, 2022
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
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
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
Update translation files type: enhancement Proposed improvement
#1164 by github-actions bot was merged Jul 14, 2022 Loading… updated Jul 14, 2022
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 themes topic: theme Related to GUI theming
#1187 by github-actions bot was merged Jul 15, 2022 Loading… updated Jul 15, 2022
4
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 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 themes topic: theme Related to GUI theming
#1203 by github-actions bot was merged Jul 18, 2022 Loading… updated Jul 18, 2022
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
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
Use 0.25.0-rc2 CLI.
#1221 by kittaakos was merged Jul 19, 2022 Loading… updated Jul 19, 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
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 type: enhancement Proposed improvement
#1249 by github-actions bot was merged Jul 29, 2022 Loading… updated Jul 29, 2022
Update translation files
#1269 by github-actions bot was merged Aug 1, 2022 Loading… updated Aug 1, 2022
#1223: use theme service on settings load topic: code Related to content of the project itself topic: theme Related to GUI theming type: imperfection Perceived defect in any part of project
#1238 by davegarthsimpson was merged Jul 27, 2022 Loading… updated Aug 1, 2022
4 tasks
1
9
ProTip! Add no:assignee to see everything that’s not assigned.