Search results

chore: use <code>theia@1.46.1</code>

conclusion: duplicateHas already been submitted Has already been submitted

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

topic: theiaRelated to the Theia IDE framework Related to the Theia IDE framework

type: enhancementProposed improvement Proposed improvement

Status: Closed (abandoned).

arduino/arduino-idenumber 2362

#2362 In arduino/arduino-ide;

· by kittaakos was closed on Mar 25, 2025

test: test Arduino state update for extensions

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 2294

#2294 In arduino/arduino-ide;

· by kittaakos was closed on Dec 13, 2023

feat: new window inherits the custom board options

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 2289

#2289 In arduino/arduino-ide;

· by kittaakos was closed on Dec 13, 2023

New debug info format+electron for linux

conclusion: duplicateHas already been submitted Has already been submitted

Status: Closed (abandoned).

arduino/arduino-idenumber 2282

#2282 In arduino/arduino-ide;

· by kittaakos was closed on Nov 17, 2023

chore(deps): update to <code>electron@27.0.3</code>.

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: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Closed (abandoned).

arduino/arduino-idenumber 2277

#2277 In arduino/arduino-ide;

· by kittaakos was closed on Nov 17, 2023

chore(cli): update CLI to <code>0.35.0-rc.2</code>

conclusion: duplicateHas already been submitted Has already been submitted

topic: CLIRelated to Arduino CLI Related to Arduino CLI

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

topic: infrastructureRelated to project infrastructure Related to project infrastructure

topic: language serverRelated to the Arduino Language Server Related to the Arduino Language Server

type: enhancementProposed improvement Proposed improvement

Status: Closed (abandoned).

arduino/arduino-idenumber 2267

#2267 In arduino/arduino-ide;

· by kittaakos was closed on Nov 13, 2023

chore: update to <code>arduino-cli@0.34.1</code>

conclusion: duplicateHas already been submitted Has already been submitted

topic: CLIRelated to Arduino CLI Related to Arduino CLI

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

Status: Closed (abandoned).

arduino/arduino-idenumber 2207

#2207 In arduino/arduino-ide;

· by kittaakos was closed on Nov 7, 2023

fix: upload waits for monitor connection to close

conclusion: duplicateHas already been submitted Has already been submitted

topic: CLIRelated to Arduino CLI Related to Arduino CLI

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

topic: serial monitorRelated to the Serial Monitor Related to the Serial Monitor

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

Status: Closed (abandoned).

arduino/arduino-idenumber 2192

#2192 In arduino/arduino-ide;

· by kittaakos was closed on Jan 26, 2024

fix: can unset <code>network#proxy</code> in the CLI config

conclusion: duplicateHas already been submitted Has already been submitted

topic: CLIRelated to Arduino CLI Related to Arduino CLI

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

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

Status: Closed (abandoned).

arduino/arduino-idenumber 2185

#2185 In arduino/arduino-ide;

· by kittaakos was closed on Jan 18, 2024

feat: simplify board and port handling

conclusion: duplicateHas already been submitted Has already been submitted

topic: CLIRelated to Arduino CLI Related to Arduino CLI

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

type: enhancementProposed improvement Proposed improvement

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

Status: Closed (abandoned).

arduino/arduino-idenumber 2149

#2149 In arduino/arduino-ide;

· by kittaakos was closed on Aug 7, 2023

revert(cli): Downgrade the CLI version to <code>0.32.2</code>

conclusion: duplicateHas already been submitted Has already been submitted

topic: CLIRelated to Arduino CLI Related to Arduino CLI

topic: infrastructureRelated to project infrastructure Related to project infrastructure

type: enhancementProposed improvement Proposed improvement

Status: Closed (abandoned).

arduino/arduino-idenumber 2118

#2118 In arduino/arduino-ide;

· by kittaakos was closed on Jun 30, 2023

fix: flawed config handling in the FQBN

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: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Closed (abandoned).

arduino/arduino-idenumber 2113

#2113 In arduino/arduino-ide;

· by kittaakos was closed on Feb 8, 2024