GnomeEditor asciidoc highlighting