Zocky's javascript tools
Search Box is a Javascript tool which adds a search and replace box above the editbox. users
Click the search icon in the toolbar or press Alt-Shift-F (or Meta-Shift-F) to get the SearchBox. See Installation below.