Keybinding collision between 'Toggle Plugins View' and 'Select All Occurrences' #7612
Labels
bug
bugs found in the application
help wanted
issues meant to be picked up, require help
keybindings
issues related to keybindings
plug-in system
issues related to the plug-in system
Description
It's impossible to open
Plugins
view using keybindings when an editor is open.I think the cause of the problem is keybinding collision between 'Toggle Plugins View' and 'Select All Occurrences'
Reproduction Steps
ctrl+shift+l
to openPlugins
view when you don't have open editors: it works.Plugins
view using the corresponding keybinding.You can see that
Select All Occurrences
is executed.OS and Theia version:
Fedora 31
Theia version: a187f01
The text was updated successfully, but these errors were encountered: