diff options
| author | Philipp Mildenberger | 2023-03-28 02:15:03 +0000 |
|---|---|---|
| committer | Philipp Mildenberger | 2023-05-18 19:58:17 +0000 |
| commit | 2a21b939c432e4b5a186df780a1e97d20ff53120 (patch) | |
| tree | 7d94104c173591384912cec4748f8001b6eb2c56 /runtime/themes/github_dark_high_contrast.toml | |
| parent | 93fd79a949f0fcaa97fa30f841d90c6c1c3f68de (diff) | |
Fix crash with filtered diagnostics in gutter (e.g. when diagnostics aren't visible)
Diffstat (limited to 'runtime/themes/github_dark_high_contrast.toml')
0 files changed, 0 insertions, 0 deletions