Search results

Update themes

conclusion: invalidIssue/PR not valid Issue/PR not valid

topic: themeRelated to GUI theming Related to GUI theming

Status: Closed (abandoned).

arduino/arduino-idenumber 1069

#1069 In arduino/arduino-ide;

· by github-actions was closed on Jun 17, 2022

Update themes

conclusion: invalidIssue/PR not valid Issue/PR not valid

topic: themeRelated to GUI theming Related to GUI theming

Status: Closed (abandoned).

arduino/arduino-idenumber 1033

#1033 In arduino/arduino-ide;

· by github-actions was closed on Jun 10, 2022