Fix quick pick separators from plugins - Githubissues

eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

http://theia-ide.org

Eclipse Public License 2.0

19.55k stars 2.46k forks source link

Fix quick pick separators from plugins #13740

Closed msujew closed 1 month ago

msujew commented 1 month ago

What it does

Closes https://github.com/eclipse-theia/theia/issues/13739

Adds the correct code to convert quick pick separators from plugins to quick pick separators in Theia's frontend.

How to test

See https://github.com/eclipse-theia/theia/issues/13739 for reproduction steps and assert that the separators are displayed just like in VSCode.

Review checklist

[x] As an author, I have thoroughly tested my changes and carefully followed the review guidelines

Reminder for reviewers

As a reviewer, I agree to behave in accordance with the review guidelines