Commit Graph

9 Commits

Author SHA1 Message Date
Ravi Shekhar Jethani
48d57dad47
Fix selection highlighting in remaining gruvbox derived themes (#7717) 2023-07-23 16:45:13 +09:00
Michael Davis
bb41a283e6
theme: Use inheritance for gruvbox themes (#6295)
These gruvbox variants were introduced before theme inheritance and
only differ by a few colors. This change cleans up the duplicated
theming with theme inheritance.
2023-03-14 10:56:22 +09:00
Josh Bainbridge
dc418bb507
Update gruvbox color themes to support inlay hint (#6285)
The gruvbox themes (gruvbox, gruvbox dark hard and guvbox light)
don't provide a colour for the new virtual inlay hints. Looking at the
original repo, and other derivatives, there doesn't appear to be a clear
definition of what inlay hints should be. Although most sources indicate
that it can be the same as the color for comments.

Considering that, this commit sets the new field on each of the three
themes to be gray1, same as commented text.

Signed-off-by: Josh Bainbridge <josh.bainbridge@gmail.com>
2023-03-13 09:36:40 -05:00
Alex
f103d2273b
Add markup.strikethrough theme keys (#5619) 2023-01-21 16:21:26 -06:00
Josh Bainbridge
b65f104a3f
Fix diagnostic indicator background for gruvbox themes (#5540)
The diagnostic indicator background did not match the column or rows background
colour as this was context specific, and the background for the indicator was
being explicitly set.

This commit removes the explicit value for the indicators background allowing
it to adapt to the context. This is aligns it with other themes, and resolves
the issue.
2023-01-17 16:16:05 -06:00
blt__
c988bd9629
Change built-in themes to use curly underlines (#5419)
* Change built-in themes to use curly underlines

* Change fleet_dark to use curly underlines
2023-01-12 13:22:16 +09:00
Aidan Gauland
77860bdb05
Specify ui.selection.primary for Gruvbox themes (#5333) 2023-01-09 11:26:32 +09:00
cor
d914642089
use curl underlines for gruvbox_dark_hard (#5066) 2022-12-08 21:48:56 -06:00
Sven-Hendrik Haase
5dbca0fc08
Add gruvbox dark (#3948)
* Add gruvbox dark

* fixup! Add gruvbox dark
2022-09-28 22:50:53 +08:00