[Dillo-dev] patch: a quick and ugly source searcher

- TextBuffer also has search_backward and a matchCase argument. - show_insert_position() often doesn't want to scroll quite far enough to bring the text into view.