Search results

Layout improvements of the filter for boards and libs manager

conclusion: duplicateHas already been submitted Has already been submitted

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

type: enhancementProposed improvement Proposed improvement

Status: Closed (abandoned).

arduino/arduino-idenumber 1372

#1372 In arduino/arduino-ide;

· by francescospissu was closed on Aug 31, 2022

Layout improvements of the filter for boards and libs manager

conclusion: duplicateHas already been submitted Has already been submitted

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

type: enhancementProposed improvement Proposed improvement

Status: Closed (abandoned).

arduino/arduino-idenumber 1369

#1369 In arduino/arduino-ide;

· by francescospissu was closed on Aug 30, 2022