-
- 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
Editor manager should be singleton, patched layout restorer to avoid duplicate editor tabs topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
#1024 by kittaakos was merged Jun 8, 2022 Loading…
4 tasks
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…
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…
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…
4 tasks
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
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…
4 tasks
Update themes topic: theme Related to GUI theming
#1149 by github-actions bot was merged Jul 5, 2022 Loading…
Window min size topic: code Related to content of the project itself
#1151 by AlbyIanna was merged Jul 7, 2022 Loading…
4 tasks
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…
4 tasks
Remote sketchbook tooltips topic: cloud Related to Arduino Cloud and cloud sketches topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
#1088 by francescospissu was merged Jun 21, 2022 Loading…
4 tasks
2
Add tests for BoardsServiceProvider conclusion: invalid Issue/PR not valid priority: low Resolution is a low priority type: enhancement Proposed improvement
Update themes topic: theme Related to GUI theming
#1203 by github-actions bot was merged Jul 18, 2022 Loading…
Update themes topic: theme Related to GUI theming
#1187 by github-actions bot was merged Jul 15, 2022 Loading…
Revert "Change naming of nightly and snapshot builds" conclusion: duplicate Has already been submitted topic: infrastructure Related to project infrastructure type: imperfection Perceived defect in any part of project
#1426 by AlbyIanna was closed Sep 12, 2022 Loading…
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…
#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
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
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…
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
Update translation files type: enhancement Proposed improvement
#1249 by github-actions bot was merged Jul 29, 2022 Loading…
Update translation files type: enhancement Proposed improvement
#1164 by github-actions bot was merged Jul 14, 2022 Loading…
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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.