diff options
| author | unrelentingtech | 2022-04-12 07:48:30 +0000 |
|---|---|---|
| committer | GitHub | 2022-04-12 07:48:30 +0000 |
| commit | d5c086697896d87f034c1dbe0ae0ccbc71f37d2c (patch) | |
| tree | ff2898eee6696815090e987d22a33fbf3a8c7335 /book/src/generated | |
| parent | f3dcb4034fd528b620935780bcd5e86937c0b393 (diff) | |
Apply ui.gutter style to empty gutters (#2032)
The unstyled column on the left from the diagnostics_or_breakpoints gutter
looks sad if you want to add a background to all gutters. Let's fix this.
Diffstat (limited to 'book/src/generated')
0 files changed, 0 insertions, 0 deletions