Editor + FindReplace Plugin
This is an example editor with FindReplace enabled.
The FindReplace plugin adds a togglable toolbar to the editor that allows search/replace of text in the editor.
This plugin only supports IE, FF, and WebKit. Opera will not function. This is an experimental plugin.