Seeking text editor for Dropbox on iPad and iPhone
I’ve been using Editorial, which edits files right in Dropbox (so they sync), though mostly for Markdown files (which it has preview support for). I believe it does have a search feature like you describe.