Definitely one of my pet peeves is when an app overrides a default short cut. Especially one like refreshing the page.
I wish there was some sort of universal agreement or API for what short cuts should do functionally.
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.