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.

Sign up for GitHub

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

Jump to bottom

Preference tree widget is failing to name extensions' nodes the same than VSCode #12928

Open
VGRSTM opened this issue Sep 22, 2023 · 0 comments · May be fixed by #12929
Open

Preference tree widget is failing to name extensions' nodes the same than VSCode #12928

VGRSTM opened this issue Sep 22, 2023 · 0 comments · May be fixed by #12929
Labels
preferences issues related to preferences

Comments

@VGRSTM
Copy link

VGRSTM commented Sep 22, 2023 •
edited

Bug Description:

See #12921

VSCode intellisense is promoting based on package.json : image

Steps to Reproduce:

  1. Hack package.json of your preferred VSCode extension
  2. Install it within Theia
  3. Just check configuration.title is not considered at all asking for Settings widget

Additional Information

Additional Information
Operating System: All
Theia Version: 1.41.0 (and older ones)
@msujew msujew added the preferences issues related to preferences label Sep 22, 2023
@VGRSTM VGRSTM linked a pull request Sep 22, 2023 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
preferences issues related to preferences
Projects
None yet
Milestone
No milestone
2 participants
@msujew @VGRSTM