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