diff options
| author | PORTALSURFER | 2022-12-04 02:06:40 +0000 |
|---|---|---|
| committer | GitHub | 2022-12-04 02:06:40 +0000 |
| commit | e9d0645f66c6254e82c2b50000eb5660c128f26b (patch) | |
| tree | 25af90bf9b359890cc8c559722a0a38c7a04c45f /runtime/queries/purescript/locals.scm | |
| parent | 326a0dab069b65463db90e2647287c1e5b6b66aa (diff) | |
Adjusted hex themes for new gutter diff colors (#4990)
* added 2 themes
* diff feature fixes
adjusted the skin to better work with the new diff coloring features
propagates to child skins like
- hex_toxic
* fine tuning so it all is a bit softer
* fine tuning to be softer
* added new version, lavender
Diffstat (limited to 'runtime/queries/purescript/locals.scm')
0 files changed, 0 insertions, 0 deletions