vscode.commands.executeCommand
ignores prefix argument
#9565
Labels
vscode
issues related to VSCode compatibility
vscode.commands.executeCommand
ignores prefix argument
#9565
Bug Description:
Executing following command ignores an argument
This command should open command palette with the prefix "Filter dumps by" like in VSCode:
But this prefix is ignored in Theia:
Additional Information
The text was updated successfully, but these errors were encountered: