Mew Pur Pur

Ctrl+F while focused in the code editor should bring out a Find & Replace panel. For starters, we can have a very rudimentary implementation, which can be only the "Find"...

Code editor has padding on the right

1

 For some reason, no characters are allowed after this red line, even though there is space for one or two more.

When the editor is modulated to dark before you quit, these handles would shine in weird colors.  This PR fixes that.