-
- 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
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
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…
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
Update themes topic: theme Related to GUI theming
#1187 by github-actions bot was merged Jul 15, 2022 Loading…
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
Use Related to content of the project itself type: imperfection Perceived defect in any part of project
require#resolve to locate the plotter app. topic: code #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
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…
Window min size topic: code Related to content of the project itself
#1151 by AlbyIanna was merged Jul 7, 2022 Loading…
4 tasks
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
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
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
Sketchbook icons colors topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
#1095 by francescospissu was merged Jun 29, 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
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
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…
2.0.0-rc7 topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#1027 by AlbyIanna was merged Jun 9, 2022 Loading…
4 tasks
ProTip! Adding no:label will show everything without a label.