Description
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