Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Pull requests: arduino/arduino-ide

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

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
#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
Update themes topic: theme Related to GUI theming
#1203 by github-actions bot was merged Jul 18, 2022 Loading...
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 themes topic: theme Related to GUI theming
#1187 by github-actions bot was merged Jul 15, 2022 Loading...
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
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...
Update themes topic: theme Related to GUI theming
#1149 by github-actions bot was merged Jul 5, 2022 Loading...
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 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...
ProTip! no:milestone will show everything without a milestone.

AltStyle によって変換されたページ (->オリジナル) /