diff options
| author | Josh Bainbridge | 2023-01-17 22:16:05 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-17 22:16:05 +0000 |
| commit | b65f104a3fe1d8bdd0dbf901f7c52576b2b5f1c0 (patch) | |
| tree | 78d715150b6899e4da9a2b6c2869de1539f13265 /runtime/queries/julia | |
| parent | e7e47fd54263fb46f2dbb6fe8954fa489d143752 (diff) | |
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.
Diffstat (limited to 'runtime/queries/julia')
0 files changed, 0 insertions, 0 deletions