Let the users choose to use the syntax highlighting engine they prefer in `Preferences`. Scintilla is still the default syntax highlighting engine. The advantage of GtkSourceView is it's much easier to add support for new languages compared to Scintilla.