2 Commits (8a609047c3e0d9586038b04cebb288d62db57a18)

Author	SHA1	Message	Date
oberblastmeister	098b6b6eed	gruvbox theme changes (#594) ... * changed some gruvbox highlights * more stuff including cursors * use property instead * use variable.property	2021-08-19 01:02:15 +09:00
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>	2021-06-30 23:24:30 +09:00