Per Tillisch

Thanks so much for reporting this @plampix. I see there was a regression of https://github.com/arduino/arduino-pro-ide/issues/364, which had been previously fixed by https://github.com/arduino/arduino-ide/commit/2831acc5b5b9f0c8744c946f1721925aaf5f8c9c I bisected the regression to [the 2.0.0-rc1 release](https://github.com/arduino/arduino-ide/releases/tag/2.0.0-rc1)....

@ObviousInRetrospect please ask over on the Arduino forum about customizing the Arduino IDE theme. I'm sure we'll be able to help you out over there. https://forum.arduino.cc/c/software/arduino-ide-2-0/93

Hi @TomW1605. I'm happy to inform you that this bug is fixed: https://github.com/arduino/arduino-ide/pull/1144 That fix was made after the release of the 2.0.0-rc8 version of the IDE you are using....

Closing due to lack of response. @tigoe if you'll provide the requested information I'll be happy to re-open this issue.

I just checked the behavior when attempting to open a deleted library example via the **File > Examples** menu and unfortunately it still fails silently. So we can not consider...

Hi @xwzkj. Which board do you have selected from the **Tools > Board** menu in the Arduino IDE? Which port do you have selected from the **Tools > Port** menu...

Closing due to lack of response. @xwzkj if you will provide the requested information by commenting here, I'll be happy to re-open this issue.

Hi @KurtE. There is a previous request for that here: https://github.com/arduino/arduino-ide/issues/330 and a related one here: https://github.com/arduino/arduino-ide/issues/86

Thanks for your suggestion @dahmadjid. For the sake of making all the relevant information available to the interested parties, I'll add a link to the equivalent feature request for Arduino...

This may have been fixed by https://github.com/ivanseidel/LinkedList/pull/48