Merge branch 'main' into patch-1

This commit is contained in:
Michael Utz 2025-06-04 10:15:30 +03:00 committed by GitHub
commit 30ed6ceae4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
12 changed files with 501 additions and 6 deletions

View file

@ -21,9 +21,14 @@ in {
'';
};
onedark = {
setup = {style ? "dark", ...}: ''
setup = {
style ? "dark",
transparent,
...
}: ''
-- OneDark theme
require('onedark').setup {
transparent = ${boolToString transparent},
style = "${style}"
}
require('onedark').load()