diff options
author | Dr. David A. Kunz | 2022-04-16 01:41:25 +0000 |
---|---|---|
committer | GitHub | 2022-04-16 01:41:25 +0000 |
commit | b04c425c63d03f8320eb47ab6e38e4bb79763248 (patch) | |
tree | 3882fa2c6c81677e94dea0189a7665fdd77a1616 /.github | |
parent | 450f348925ff1a2a39b73481f61af6fc7e57ebef (diff) |
Make gutters configurable (#1967)
* config option line numbers none
* view tests
* added tests
* doc
* comment
* Make gutters configurable
* docu
* docu
* rm none docu
* order
* order
* precedence
* simpler
* rm todo
* fixed clippy
* order
* double quotes
* only allow diagnostics and line-numbers
* tests
* docu
* format
* rm short variant and more docu
* performance improvements
* typo
* rename
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions