Search results

Update themes

topic: themeRelated to GUI theming Related to GUI theming

Status: Merged (completed).

arduino/arduino-idenumber 1273

#1273 In arduino/arduino-ide;

· by github-actions was closed on Aug 2, 2022

Update themes

topic: themeRelated to GUI theming Related to GUI theming

Status: Merged (completed).

arduino/arduino-idenumber 1203

#1203 In arduino/arduino-ide;

· by github-actions was closed on Jul 18, 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

Update themes

topic: themeRelated to GUI theming Related to GUI theming

Status: Merged (completed).

arduino/arduino-idenumber 1187

#1187 In arduino/arduino-ide;

· by github-actions was closed on Jul 15, 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 1155

#1155 In arduino/arduino-ide;

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

Update themes

topic: themeRelated to GUI theming Related to GUI theming

Status: Merged (completed).

arduino/arduino-idenumber 1149

#1149 In arduino/arduino-ide;

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

Update themes

topic: codeRelated to content of the project itself Related to content of the project itself

topic: themeRelated to GUI theming Related to GUI theming

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1145

#1145 In arduino/arduino-ide;

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

Update themes

topic: codeRelated to content of the project itself Related to content of the project itself

topic: themeRelated to GUI theming Related to GUI theming

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1141

#1141 In arduino/arduino-ide;

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

Update themes

topic: codeRelated to content of the project itself Related to content of the project itself

topic: themeRelated to GUI theming Related to GUI theming

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1125

#1125 In arduino/arduino-ide;

· by github-actions was closed on Jun 28, 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 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