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

chore(deps): update to Theia <code>1.42.1</code>

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

type: enhancementProposed improvement Proposed improvement

Status: Closed (abandoned).

arduino/arduino-idenumber 2246

#2246 In arduino/arduino-ide;

· by kittaakos was closed on Feb 9, 2024

fix: falsy context menu <code>handlerId</code>

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

Status: Merged (completed).

arduino/arduino-idenumber 2183

#2183 In arduino/arduino-ide;

· by kittaakos was closed on Aug 22, 2023

chore(deps): Updated to Theia <code>1.39.0</code>

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: securityRelated to the protection of user data Related to the protection of user data

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

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 2144

#2144 In arduino/arduino-ide;

· by kittaakos was closed on Aug 14, 2023

chore: Theia 1.37.0

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

topic: securityRelated to the protection of user data Related to the protection of user data

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

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 2027

#2027 In arduino/arduino-ide;

· by kittaakos was closed on May 9, 2023

NO-MERGE: chore: Updated to <code>1.36.0</code> Theia

conclusion: invalidIssue/PR not valid Issue/PR not valid

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: theiaRelated to the Theia IDE framework Related to the Theia IDE framework

Status: Closed (abandoned).

arduino/arduino-idenumber 2011

#2011 In arduino/arduino-ide;

· by kittaakos was closed on Apr 12, 2023

chore: updated to Theia <code>1.35.0</code>

conclusion: invalidIssue/PR not valid Issue/PR not valid

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

Status: Closed (abandoned).

arduino/arduino-idenumber 1976

#1976 In arduino/arduino-ide;

· by kittaakos was closed on Apr 20, 2023

fix: let the resource finish all write operation

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

Status: Merged (completed).

arduino/arduino-idenumber 1972

#1972 In arduino/arduino-ide;

· by kittaakos was closed on Mar 28, 2023

fix: restore <code>window.titleBarStyle</code> and <code>breadcrumbs.enabled</code>

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

Status: Draft (not ready).

arduino/arduino-idenumber 1870

#1870 In arduino/arduino-ide;

· kittaakos opened on Feb 9, 2023

chore: Updated to Theia <code>1.31.1</code>

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: theiaRelated to the Theia IDE framework Related to the Theia IDE framework

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1662

#1662 In arduino/arduino-ide;

· by kittaakos was closed on Nov 29, 2022

#989 Listen on keyboard layout changes from the OS

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

Status: Merged (completed).

arduino/arduino-idenumber 1478

#1478 In arduino/arduino-ide;

· by kittaakos was closed on Sep 26, 2022

#1210 Fixed highlighting of non-unicode chars in Output

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

Status: Merged (completed).

arduino/arduino-idenumber 1375

#1375 In arduino/arduino-ide;

· by kittaakos was closed on Aug 31, 2022