Search results

Warn user when configuring sketchbook under under IDE installation

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

type: enhancementProposed improvementProposed improvement

Status: Open.

#2836 In arduino/arduino-ide;

· per1234 opened on Dec 19, 2025

Allow user to configure Arduino CLI configuration file location

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

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

type: enhancementProposed improvementProposed improvement

Status: Open.

#2731 In arduino/arduino-ide;

· per1234 opened on May 17, 2025

Add support for <code>window.titleBarStyle</code> advanced setting

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

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

type: enhancementProposed improvementProposed improvement

Status: Open.

#2716 In arduino/arduino-ide;

· per1234 opened on Apr 20, 2025

Free serial port when panel of the Serial Monitor view is collapsed

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

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

type: enhancementProposed improvementProposed improvement

Status: Open.

#2491 In arduino/arduino-ide;

· per1234 opened on Aug 13, 2024

Use more appropriate File &gt; Examples menu section for "built-in" libraries

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

type: enhancementProposed improvementProposed improvement

Status: Open.

#2259 In arduino/arduino-ide;

· per1234 opened on Oct 13, 2023

Display output from Arduino Firmware Uploader

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

type: enhancementProposed improvementProposed improvement

Status: Open.

#2220 In arduino/arduino-ide;

· per1234 opened on Sep 6, 2023

Notify user when managed platform is not tracked by a package index

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

type: enhancementProposed improvementProposed improvement

Status: Open.

#2088 In arduino/arduino-ide;

· per1234 opened on Jun 6, 2023

Add search field to "SKETCHBOOK" view

criticality: mediumOf moderate impactOf moderate impact

phase: designWork is in the design phaseWork is in the design phase

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

type: enhancementProposed improvementProposed improvement

Status: Open.

#2030 In arduino/arduino-ide;

· per1234 opened on Apr 22, 2023

Make board serial number text copyable in "Board Info" dialog

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

type: enhancementProposed improvementProposed improvement

Status: Open.

#1898 In arduino/arduino-ide;

· per1234 opened on Feb 21, 2023

Provide user friendly command names in "Keyboard Shortcuts" view

topic: accessibilityEnabling the use of the software by everyoneEnabling the use of the software by everyone

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

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

type: enhancementProposed improvementProposed improvement

Status: Open.

#1659 In arduino/arduino-ide;

· per1234 opened on Nov 10, 2022

Make non-sketch editor tabs closable

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

type: enhancementProposed improvementProposed improvement

Status: Open.

#1469 In arduino/arduino-ide;

· per1234 opened on Sep 20, 2022

Clear compilation/upload success notifications on subsequent actions

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

type: enhancementProposed improvementProposed improvement

Status: Open.

#1464 In arduino/arduino-ide;

· per1234 opened on Sep 19, 2022