rename extra_highligh_themes to extra_syntaxes_and_themes (#1828)

extra_highligh_themes does not exist
This commit is contained in:
Luís Fonseca 2022-04-17 18:38:24 +01:00 committed by GitHub
parent c11ae6ef28
commit 896ea596fd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -385,5 +385,5 @@ If your site source is laid out as follows:
└── ...
```
you would set your `extra_highlight_themes` to `["highlight_themes", "highlight_themes/MyGroovyTheme"]` to load `theme1.tmTheme` and `theme2.tmTheme`.
you would set your `extra_syntaxes_and_themes` to `["highlight_themes", "highlight_themes/MyGroovyTheme"]` to load `theme1.tmTheme` and `theme2.tmTheme`.
Then choose one of them to use, say theme1, by setting `highlight_theme = theme1`.