Search results

Fix duplicated editor tabs

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 1012

#1012 In arduino/arduino-ide;

· by msujew was closed on May 31, 2022

Update Theia version to 1.25.0

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

Status: Merged (completed).

arduino/arduino-idenumber 947

#947 In arduino/arduino-ide;

· by msujew was closed on May 25, 2022

Allow to close files in certain folders

topic: codeRelated to content of the project itselfRelated 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

Disable widget dragging/splitting

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 940

#940 In arduino/arduino-ide;

· by msujew was closed on Apr 5, 2022

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

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 939

#939 In arduino/arduino-ide;

· by msujew was closed on Apr 29, 2022

Automatically remove editors for deleted files

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 894

#894 In arduino/arduino-ide;

· by msujew was closed on Mar 21, 2022

Save dialog for closing temporary sketch and unsaved files

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 893

#893 In arduino/arduino-ide;

· by msujew was closed on Jun 1, 2022

Override the <code>RELOAD_REQUESTED_SIGNAL</code> correctly

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 880

#880 In arduino/arduino-ide;

· by msujew was closed on Mar 3, 2022

Save preferences in sequence

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 856

#856 In arduino/arduino-ide;

· by msujew was closed on Feb 23, 2022

Enable opening the IDE from finder/explorer

os: macosSpecific to macOS operating systemSpecific to macOS operating system

os: windowsSpecific to Windows operating systemSpecific to Windows operating system

topic: codeRelated to content of the project itselfRelated 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

Update Theia to 1.22.1

topic: infrastructureRelated to project infrastructureRelated to project infrastructure

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

type: enhancementProposed improvementProposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 791

#791 In arduino/arduino-ide;

· by msujew was closed on Feb 11, 2022

Restore open sketches on startup

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

Status: Merged (completed).

arduino/arduino-idenumber 780

#780 In arduino/arduino-ide;

· by msujew was closed on Feb 11, 2022