Find & Replace in the code editor #369
Description
Ctrl+R while focused in the code editor should bring out a Find & Replace panel. Ctrl+F should bring out just a Find panel.
For starters, we can have a very rudimentary implementation, which can be only the "Find" part, without anything for case sensitivity or words. Additional functionality can be implemented later.
I'm not sure how this would fit in with the error panel though.