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

[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...
Dark theme implementation topic: theme Related to GUI theming type: enhancement Proposed improvement
#991 by francescospissu was merged Jun 7, 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...
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...
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...
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...
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...
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...
#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
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...
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...
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...
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...
4 tasks
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...
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...
4 tasks
2
7
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...
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...
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
Update themes topic: theme Related to GUI theming
#1273 by github-actions bot was merged Aug 2, 2022 Loading...
ProTip! Add no:assignee to see everything that’s not assigned.

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