Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

In preferences window, the pre-selected theme is different than active theme. #181

Closed
Assignees
Labels
priority: lowResolution is a low priority topic: codeRelated to content of the project itself topic: themeRelated to GUI theming type: imperfectionPerceived defect in any part of project
@Mammad900

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:

  1. Open IDE
  2. Change theme to Dark (Theia) using command pallete (F1) if it is not active
  3. Open preferences
  4. Field Theme's value is Light (Arduino)

Expected behavior
The Theme field in preferences should be the same as active theme

Screenshots
image

Desktop (please complete the following information):

  • OS: Windows 10 1809
  • Version: 2.0.0-beta.3
    Date: 2021年02月26日T10:48:13.025Z
    CLI Version: 0.16.1 alpha [76f55490]

Metadata

Metadata

Labels

priority: lowResolution is a low priority topic: codeRelated to content of the project itself topic: themeRelated to GUI theming type: imperfectionPerceived defect in any part of project

Type

No type

Projects

No projects

Milestone

No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      AltStyle によって変換されたページ (->オリジナル) /