You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
JonasHelming opened this issue
Dec 19, 2023
· 0 comments
Labels
blueprintissues related to theia-blueprintcommunity pulseissues voted by the communityepicepic issues consisting of multiple smaller issueshelp wantedissues meant to be picked up, require help
blueprintissues related to theia-blueprintcommunity pulseissues voted by the communityepicepic issues consisting of multiple smaller issueshelp wantedissues meant to be picked up, require help
This epic collects improvements relevant for the Theia IDE
Feature Description:
Blockers
global-state.json
#12708GA Blockers
Impediments
contributes.icons
contribution point #12355Run Extension
Launch Config Does not Work theia-blueprint#281Nitpicks
ctrl-shift-o
only works when a file is open #12741The text was updated successfully, but these errors were encountered: