2 Commits (299da5a35b1917812a0f37e046d946031474d606)

Author	SHA1	Message	Date
oberblastmeister	098b6b6eed	gruvbox theme changes (#594) ... * changed some gruvbox highlights * more stuff including cursors * use property instead * use variable.property	3 years ago
Jakub Bartodziej	79f096963c	Color palettes (#393) ... * Enable using color palettes in theme files. * Add an example theme defined using a gruvbox color palette. * Fix clippy error. * Small style improvement. * Add documentation for the features to themes.md. * Update runtime/themes/gruvbox.toml Fix the value of purple0. Co-authored-by: DrZingo <DrZingo@users.noreply.github.com> Co-authored-by: DrZingo <DrZingo@users.noreply.github.com>	4 years ago