@Willem43T

Describe the problem

I have two extensions installed in ~/.arduinoIDE/extensions, a theme I named "Dark Matter" and an extension named "PrintCode" that adds support for printing.

I am using the ZIP versions of the IDE installed on a SSD drive.

After installing the latest version 2.0.3 the "Dark Matter" theme is not available in the Preferences dialog - the IDE seems to ignore its presence.

The "PrintCode" extension still works correctly. I was, and again after reverting back, using the theme successfully in IDE version 2.0.2. I did not use any of the nightly build since 2.0.2.

To reproduce

With a manually installed extension theme, which is recognized in version 2.0.2, update to version 2.0.3. The extension theme is missing from the "Theme" drop down in File->Preferences.

Expected behavior

The extension theme should be available in the "Theme" drop down in File->Preferences.

Arduino IDE version

IDE Version 2.0.3

Operating system

Windows

Operating system version

Window10 Pro version 1607

Additional context

This was reproduced by @per1234 here.

---

The introduction of the regression was bisected to ac9cce1 / #1662 (does not occur when using the build from the previous commit 3ad6609 or older).

Issue checklist

• I searched for previous reports in the issue tracker
• I verified the problem still occurs when using the latest nightly build
• My report contains all necessary details