Search results

Update themes

conclusion: duplicateHas already been submitted Has already been submitted

topic: themeRelated to GUI theming Related to GUI theming

Status: Closed (abandoned).

arduino/arduino-idenumber 1155

#1155 In arduino/arduino-ide;

· by github-actions was closed on Jul 8, 2022

Update themes

conclusion: duplicateHas already been submitted Has already been submitted

topic: themeRelated to GUI theming Related to GUI theming

Status: Closed (abandoned).

arduino/arduino-idenumber 1195

#1195 In arduino/arduino-ide;

· by github-actions was closed on Jul 15, 2022