GbEditorView: add property and tweak for line numbers