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

Closed
VGRSTM opened this issue Sep 22, 2023 · 1 comment
Closed

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

VGRSTM opened this issue Sep 22, 2023 · 1 comment
Labels
preferences issues related to preferences

Comments

@VGRSTM
Copy link

VGRSTM commented Sep 22, 2023 •
edited
Loading

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 mentioned this issue Sep 22, 2023
Closed
@msujew
Copy link
Member

msujew commented Nov 3, 2024

This has been resolved by #13819.

@msujew msujew closed this as completed Nov 3, 2024
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