Search results

Translating Arduino-IDE using Theia's nls API

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

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 545

#545 In arduino/arduino-ide;

· by msujew was closed on Oct 18, 2021

· Updated on Oct 20, 2021

Fix cortex-debug related debugging issue

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

topic: debuggerRelated to the integrated debugger Related to the integrated debugger

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

Status: Merged (completed).

arduino/arduino-idenumber 578

#578 In arduino/arduino-ide;

· by msujew was closed on Oct 27, 2021

· Updated on Oct 27, 2021

Save preferences in sequence

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: Merged (completed).

arduino/arduino-idenumber 856

#856 In arduino/arduino-ide;

· by msujew was closed on Feb 23, 2022

· Updated on Feb 23, 2022

Override the <code>RELOAD_REQUESTED_SIGNAL</code> correctly

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: Merged (completed).

arduino/arduino-idenumber 880

#880 In arduino/arduino-ide;

· by msujew was closed on Mar 3, 2022

· Updated on Mar 3, 2022

Automatically remove editors for deleted files

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: Merged (completed).

arduino/arduino-idenumber 894

#894 In arduino/arduino-ide;

· by msujew was closed on Mar 21, 2022

· Updated on Mar 21, 2022

Save all open editors before running <code>Save As</code>

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: Merged (completed).

arduino/arduino-idenumber 939

#939 In arduino/arduino-ide;

· by msujew was closed on Apr 29, 2022

· Updated on Apr 29, 2022

Disable widget dragging/splitting

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: Merged (completed).

arduino/arduino-idenumber 940

#940 In arduino/arduino-ide;

· by msujew was closed on Apr 5, 2022

· Updated on May 3, 2022

Allow to close files in certain folders

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

Status: Merged (completed).

arduino/arduino-idenumber 946

#946 In arduino/arduino-ide;

· by msujew was closed on Apr 19, 2022

· Updated on May 4, 2022

Fix duplicated editor tabs

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: Merged (completed).

arduino/arduino-idenumber 1012

#1012 In arduino/arduino-ide;

· by msujew was closed on May 31, 2022

· Updated on May 31, 2022

Save dialog for closing temporary sketch and unsaved files

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: Merged (completed).

arduino/arduino-idenumber 893

#893 In arduino/arduino-ide;

· by msujew was closed on Jun 1, 2022

· Updated on Jun 1, 2022

Enable opening the IDE from finder/explorer

os: macosSpecific to macOS operating system Specific to macOS operating system

os: windowsSpecific to Windows operating system Specific to Windows operating system

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

Status: Merged (completed).

arduino/arduino-idenumber 835

#835 In arduino/arduino-ide;

· by msujew was closed on Feb 23, 2022

· Updated on Sep 9, 2023