More efficient search

Could we have a search box in WPide that’s always visible? The gray bar between the file tabs and the editor would be a suitable area. The current search implementation is one of the two worst efficiency-hinderers for me in addition to files and folders not being listed alphabetically.

The list of search issues that I’d like to see fixed, most of these benefiting from an always-open (at least until specifically closed by user) search bar/box:

1. Currently I can see the search only if I press Ctrl-F. When I do so, a popup opens, but the focus of Firefox goes to its own search bar that opens at the bottom of the screen. That search bar can, for some reason, only search the part of WPide editor that is visible at the screen, not the parts where you’d have to scroll to see them. I have to always click the search box with mouse after pressing Ctrl-F to be able to search for anything outside the current view. Having a search bar on the page rather than in a popup provides consistency, as I can just click it once in the same place. There could even be a keyboard shortcut like Alt-Shift-F, as this WordPress forum textbox has, done with HTML accesskey attributes.
2. The search box doesn’t remember what was searched for last. It does, however, take the current selection, which has been used in an attempt to mimic the remembering of the last search result. However, if I search for something, click somewhere deselecting the search result and then open a new search box with Ctrl-F, it doesn’t remember what was the last thing being searched.
3. Search should have Next and Previous buttons, allowing for scrolling through the results, back-and-forth when needed. Every program I remember using implements at least the Next button (like Notepad++), and those with better search functionality implement both (like Firefox).

http://wordpress.org/extend/plugins/wpide/