2 Commits (40223bbb45240f6171d15101b65a29d6b14f01f8)

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