I've been using Plain Text as a simple text editor with Dropbox integration, but I don't know how to search for a specific text string in whatever file I have open. Is there a way? If not, do any of you know of another accessible text editor with a search feature and Dropbox integration? I don't require a fancy word processor with all the bells and whistles, 99.99% of which I'll never use. Just a simple text editor. Thanks.