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

Dark theme implementation topic: theme Related to GUI theming type: enhancement Proposed improvement
#991 by francescospissu was merged Jun 7, 2022 Loading... updated Sep 23, 2022
4 tasks
#193, #324, #327, #717, #851 Replaced the splash screen with a preload topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
#1287 by kittaakos was merged Aug 9, 2022 Loading... updated Aug 17, 2022
4 tasks
Live change of theme from Preferences dropdown topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
#1296 by francescospissu was merged Aug 9, 2022 Loading... updated Aug 9, 2022
4 tasks
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... updated Aug 2, 2022
4 tasks
2
7
Update themes topic: theme Related to GUI theming
#1273 by github-actions bot was merged Aug 2, 2022 Loading... updated Aug 2, 2022
High Contrast theme updates topic: code Related to content of the project itself topic: theme Related to GUI theming type: imperfection Perceived defect in any part of project
#1265 by francescospissu was merged Aug 1, 2022 Loading... updated Aug 1, 2022
4 tasks
#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
Register custom themes after the monaco theme init topic: code Related to content of the project itself topic: theia Related to the Theia IDE framework topic: theme Related to GUI theming type: imperfection Perceived defect in any part of project
#1257 by AlbyIanna was merged Jul 29, 2022 Loading... updated Jul 30, 2022
4 tasks
Update themes topic: theme Related to GUI theming
#1203 by github-actions bot was merged Jul 18, 2022 Loading... updated Jul 18, 2022
IDE startup theme based on OS theme topic: code Related to content of the project itself topic: theme Related to GUI theming type: imperfection Perceived defect in any part of project
#1160 by francescospissu was merged Jul 18, 2022 Loading... updated Jul 18, 2022
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... updated Jul 16, 2022
Update themes topic: theme Related to GUI theming
#1187 by github-actions bot was merged Jul 15, 2022 Loading... updated Jul 15, 2022
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 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
Update themes topic: theme Related to GUI theming
#1149 by github-actions bot was merged Jul 5, 2022 Loading... updated Jul 5, 2022
Update themes topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
#1141 by github-actions bot was merged Jul 4, 2022 Loading... updated Jul 4, 2022
Update themes topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
#1125 by github-actions bot was merged Jun 28, 2022 Loading... updated Jul 4, 2022
Update themes topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
#1145 by github-actions bot was merged Jul 4, 2022 Loading... updated Jul 4, 2022
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
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... updated Jul 4, 2022
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
[ATL-1107][ATL-1045] Verify/Upload Buttons Hover & "running" style topic: code Related to content of the project itself topic: theme Related to GUI theming type: enhancement Proposed improvement
#197 by fstasi was merged Mar 17, 2021 Loading... updated Jul 4, 2022
ProTip! no:milestone will show everything without a milestone.

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