diff options
| author | Doug Kelkhoff | 2023-01-21 20:20:59 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-21 20:20:59 +0000 |
| commit | 2b58ff4d7cc09bc48bcdd79096110eeb578b509f (patch) | |
| tree | 2da392671e918f9fc826389ab1da2812da9d19c7 /runtime/themes | |
| parent | 8347139ff582341246975f047f04b4848f6e5af9 (diff) | |
Add configuration for min width of line-numbers gutter (#4724)
Diffstat (limited to 'runtime/themes')
0 files changed, 0 insertions, 0 deletions