Merge branch 'main' into docs-priority

This commit is contained in:
raf 2025-05-06 09:04:32 +00:00 committed by GitHub
commit e884b40071
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -109,7 +109,7 @@ in {
type = nullOr str; type = nullOr str;
default = null; default = null;
description = '' description = ''
The indicatotor icon to use for the current buffer. The indicator icon to use for the current buffer.
::: {.warning} ::: {.warning}
This **must** be omitted while style is not `icon` This **must** be omitted while style is not `icon`