-
-
Notifications
You must be signed in to change notification settings - Fork 499
Closed
Labels
priority: lowResolution is a low priorityResolution is a low prioritytopic: codeRelated to content of the project itselfRelated to content of the project itselftopic: themeRelated to GUI themingRelated to GUI themingtype: imperfectionPerceived defect in any part of projectPerceived defect in any part of project
Description
Describe the bug
When I open preferences window in the IDE, the already selected theme is Light (Arduino)
, although the active theme is Dark (Theia)
. When I click OK, suddenly the theme Light (Arduino)
becomes active.
To Reproduce
Steps to reproduce the behavior:
- Open IDE
- Change theme to
Dark (Theia)
using command pallete (F1) if it is not active - Open preferences
- Field
Theme
's value isLight (Arduino)
Expected behavior
The Theme
field in preferences should be the same as active theme
Desktop (please complete the following information):
- OS: Windows 10 1809
- Version: 2.0.0-beta.3
Date: 2021-02-26T10:48:13.025Z
CLI Version: 0.16.1 alpha [76f55490]
Metadata
Metadata
Assignees
Labels
priority: lowResolution is a low priorityResolution is a low prioritytopic: codeRelated to content of the project itselfRelated to content of the project itselftopic: themeRelated to GUI themingRelated to GUI themingtype: imperfectionPerceived defect in any part of projectPerceived defect in any part of project