Feature request: Add Find/Replace functionality to the plugin editor

The subject pretty much says it all. This is a standard and useful feature of most source code editors. I know that an external editor can be used but it's not always so convenient.