Using Ctrl-R in Chrome

Anyone else having this problem? I’m trying to do a replace in the web IDE using the keyboard shortcut Ctrl-R and chrome overides and wants to reload the browser tab. Is there a workaround for this?

There are some keyboard remapping extensions in the Chrome store that are supposed to handle this, but I have never tried them.

You can alway cut-and-paste the text into an editor on your computer then cut-and-paste it back after the edit.