Skip to content

Pull requests: arduino/arduino-ide

New pull request New

Clear current search query, filters, and sorts

0 Open 8 Closed

Pull requests list

Update themes conclusion: invalid topic: theme

#1069 by github-actions bot was closed Jun 17, 2022

Loading...

1

Update themes conclusion: invalid topic: theme

#1033 by github-actions bot was closed Jun 10, 2022

Loading...

1

IDE updater dialog colors fix topic: code topic: theme type: imperfection

#1092 by francescospissu was merged Jun 21, 2022

Loading...

4 tasks

1

Update themes topic: theme

#1187 by github-actions bot was merged Jul 15, 2022

Loading...

4

#1223: use theme service on settings load topic: code topic: theme type: imperfection

#1238 by davegarthsimpson was merged Jul 27, 2022

Loading...

4 tasks

1

9

Update themes conclusion: duplicate topic: theme

#1155 by github-actions bot was closed Jul 8, 2022

Loading...

1

Custom colors clean up topic: code topic: theme

#1252 by francescospissu was merged Aug 2, 2022

Loading...

4 tasks

2

7

Update themes conclusion: duplicate topic: theme

#1195 by github-actions bot was closed Jul 15, 2022

Loading...

1

ProTip! no:milestone will show everything without a milestone.