Search results

Remove dev tools menu item

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

type: enhancementProposed improvementProposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 882

#882 In arduino/arduino-ide;

· by AlbyIanna was closed on Mar 8, 2022

Update themes

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

topic: themeRelated to GUI themingRelated to GUI theming

type: enhancementProposed improvementProposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1125

#1125 In arduino/arduino-ide;

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

Update themes

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

topic: themeRelated to GUI themingRelated to GUI theming

type: enhancementProposed improvementProposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1141

#1141 In arduino/arduino-ide;

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

bump arduino-cli version to 0.24.0

topic: infrastructureRelated to project infrastructureRelated to project infrastructure

type: enhancementProposed improvementProposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1103

#1103 In arduino/arduino-ide;

· by AlbyIanna was closed on Jun 23, 2022

2.0.0-rc8

topic: infrastructureRelated to project infrastructureRelated to project infrastructure

type: enhancementProposed improvementProposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1105

#1105 In arduino/arduino-ide;

· by AlbyIanna was closed on Jun 23, 2022

Add missing 'Advanced' string

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

type: imperfectionPerceived defect in any part of projectPerceived defect in any part of project

Status: Merged (completed).

arduino/arduino-idenumber 1104

#1104 In arduino/arduino-ide;

· by francescospissu was closed on Jun 27, 2022

Update themes

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

topic: themeRelated to GUI themingRelated to GUI theming

type: enhancementProposed improvementProposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1145

#1145 In arduino/arduino-ide;

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

Pinned 63f1e18 CLI.

topic: CLIRelated to Arduino CLIRelated to Arduino CLI

topic: infrastructureRelated to project infrastructureRelated to project infrastructure

type: enhancementProposed improvementProposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1358

#1358 In arduino/arduino-ide;

· by kittaakos was closed on Aug 26, 2022

Prepare 2.0.0-rc9.4

topic: CLIRelated to Arduino CLIRelated to Arduino CLI

topic: infrastructureRelated to project infrastructureRelated to project infrastructure

type: enhancementProposed improvementProposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1411

#1411 In arduino/arduino-ide;

· by AlbyIanna was closed on Sep 8, 2022

Update translation files

Status: Merged (completed).

arduino/arduino-idenumber 1397

#1397 In arduino/arduino-ide;

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

Use <code>0.25.1</code> CLI.

topic: CLIRelated to Arduino CLIRelated to Arduino CLI

topic: infrastructureRelated to project infrastructureRelated to project infrastructure

type: imperfectionPerceived defect in any part of projectPerceived defect in any part of project

Status: Merged (completed).

arduino/arduino-idenumber 1266

#1266 In arduino/arduino-ide;

· by kittaakos was closed on Aug 1, 2022

Update translation files

Status: Merged (completed).

arduino/arduino-idenumber 1305

#1305 In arduino/arduino-ide;

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