Theme Extension Ignored #1742
Assignees
Labels
conclusion: resolved
Issue was resolved
topic: code
Related to content of the project itself
topic: theme
Related to GUI theming
type: imperfection
Perceived defect in any part of project
Comments
kittaakos
pushed a commit
that referenced
this issue
Dec 6, 2022
cleaned up unused symbol closes #1742 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
kittaakos
pushed a commit
that referenced
this issue
Dec 7, 2022
cleaned up unused symbol closes #1742 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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
The text was updated successfully, but these errors were encountered: