WordPress Plugin: Editor Search 1.1
Released a new copy of my WordPress plug-in, Editor Search, today. No major changes and all the caveats from 1.0 still apply.
The only noticable change is the addition of form tags around the input boxes to facilitate hitting the enter/return key after typing in your search phrase or line number. In the background, the code added to the editor pages should now be Valid XHTML 1.0 Transitional.