E.g. Outlook Web hijacks CMD+R on my Macbook, of all things.
Wouldn't want to miss CTRL/CMD+K in some web apps though.
I wish there was some sort of universal agreement or API for what short cuts should do functionally.
I think this is a normal (and unhealthy) consequence of the JS browser APIs keeping expandong. A sort of Greenspuns Tenth Rule Of Programming that happened on the web platform.
I am not sure there is a cure. Every successful platform would have been bound to eventually become that.
That being said, same issue happens, albeit to a lesser degree, with desktop apps where occasionally the DE/WM shortcuts conflict with some applications shortcuts.
With this I'm able to use Ctrl+w normally in the Gitpod terminal, so this might work for the one in AWS as well.
I even understand why in some cases it’s necessary to provide custom search. For example to implement search over lazy loaded content which hasn’t yet loaded. But it never works as expected, even when it’s done well.