HighlightingPluginOptions
HighlightingPluginOptions =
object
Properties
Section titled “Properties”
readonlyoptionalname?:string
service?
Section titled “service?”
readonlyoptionalservice?:HighlightingService
Borrowed: the plugin never disposes it. Omitted, each activation owns a service of its own.
theme?
Section titled “theme?”
readonlyoptionaltheme?:HighlightingThemeSelection|HighlightingThemeSource
Defaults to the editor’s own palette, colored by Tree-sitter captures.