Some work towards supporting find/replace in our QScintilla-based widget (#261) [ci skip].