Skip to content

Pull requests: arduino/arduino-ide

New pull request New
Clear current search query, filters, and sorts
20 Open 268 Closed
20 Open 268 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

Layout improvements of the filter for boards and libs manager conclusion: duplicate Has already been submitted topic: code Related to content of the project itself type: enhancement Proposed improvement
#1372 by francescospissu was closed Aug 31, 2022 • Draft
4 tasks
@francescospissu
1
Layout improvements of the filter for boards and libs manager conclusion: duplicate Has already been submitted topic: code Related to content of the project itself type: enhancement Proposed improvement
#1369 by francescospissu was closed Aug 30, 2022 • Draft
4 tasks
@francescospissu
Install Arduino CLI build dependencies in all dependent workflows conclusion: duplicate Has already been submitted topic: infrastructure Related to project infrastructure type: imperfection Perceived defect in any part of project
#1347 by per1234 was closed Aug 24, 2022 Loading…
4 tasks
@per1234
Add tests for BoardsServiceProvider conclusion: invalid Issue/PR not valid priority: low Resolution is a low priority type: enhancement Proposed improvement
#1337 by AlbyIanna was closed Sep 27, 2022 • Draft
4 tasks
3
Update translation files
#1269 by github-actions bot was merged Aug 1, 2022 Loading…
Custom colors clean up topic: code Related to content of the project itself topic: theme Related to GUI theming
#1252 by francescospissu was merged Aug 2, 2022 Loading…
4 tasks
2
7
Update translation files type: enhancement Proposed improvement
#1249 by github-actions bot was merged Jul 29, 2022 Loading…
#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…
4 tasks
1
9
2.0.0-rc9 topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#1228 by AlbyIanna was merged Jul 20, 2022 Loading…
4 tasks
Use 0.25.0-rc2 CLI.
#1221 by kittaakos was merged Jul 19, 2022 Loading…
4 tasks
Update themes topic: theme Related to GUI theming
#1203 by github-actions bot was merged Jul 18, 2022 Loading…
Update translation files topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#1201 by github-actions bot was merged Jul 20, 2022 Loading…
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…
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…
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…
4 tasks
2
Update themes topic: theme Related to GUI theming
#1187 by github-actions bot was merged Jul 15, 2022 Loading…
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…
4 tasks
2
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…
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
4 tasks
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…
4 tasks
6
Update translation files type: enhancement Proposed improvement
#1164 by github-actions bot was merged Jul 14, 2022 Loading…
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…
1
Window min size topic: code Related to content of the project itself
#1151 by AlbyIanna was merged Jul 7, 2022 Loading…
4 tasks
3
4
Update themes topic: theme Related to GUI theming
#1149 by github-actions bot was merged Jul 5, 2022 Loading…
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…
4 tasks
3
ProTip! Exclude everything labeled bug with -label:bug.