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