editor: add doc for GbEditorTab:get_is_default()
editor: don't require "source-view" property in highlighter.

It creates an annoying circular dependency, which prevents fully
settings things up in the UI file.
editor: set field defaults in GtkBuilder ui definition.