Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Preferences UI: Delegate Classnames to Type Renderers #10870

Conversation

colin-grant-work
Copy link
Contributor

What it does

The Monaco uplift exposed a bug in the preference node renderer system in which the base renderer was applying type-specific classnames. Since renderers are already selected on the basis of type, the application of type-specific classes has been delegated to the individual renderers.

How to test

  1. Open the Preferences UI
  2. Search for editor.semanticHighlighting.enabled.
  3. Observe that it is correctly rendered as a select input.
  4. Check other preference nodes, especially booleans (checkmarks)
  5. Observe that they are all rendered correctly.

Review checklist

Reminder for reviewers

@colin-grant-work colin-grant-work changed the title Make renderers responsible for classes Preferences UI: Delegate Classnames to Type Renderers Mar 10, 2022
@vince-fugnitto vince-fugnitto added preferences issues related to preferences ui/ux issues related to user interface / user experience labels Mar 10, 2022
Copy link
Member

@vince-fugnitto vince-fugnitto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The changes look good to me, I confirmed that the issue is fixed 👍

master:

preference-bug-master

pr:

preference-bug-pr

@colin-grant-work colin-grant-work merged commit d26c848 into eclipse-theia:master Mar 11, 2022
@colin-grant-work colin-grant-work deleted the bugfix/preferences-bad-type-classnames branch March 11, 2022 18:16
@colin-grant-work colin-grant-work added this to the 1.24.0 milestone Mar 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
preferences issues related to preferences ui/ux issues related to user interface / user experience
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants