2 Commits (279db98d3cb6c7ee41af81c3e8eb6ef69a1662d0)

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>	3 years ago