Some minor improvement to our QScintilla-based widget.