The interface is not yet finished, most buttons have no effect, and
only text in a TextEntry can be found. But the core is there.
One problem is that the handy QTextControl::setExtraSelection is only
available with QTextEdit, so I do not yet know how to highlight the
result.