1
0
mirror of https://github.com/sharkdp/bat.git synced 2025-09-02 03:12:25 +01:00

Use character if tab-width == 1.

This commit is contained in:
sharkdp
2018-11-01 19:40:26 +01:00
committed by David Peter
parent ecd862d9ff
commit 8fa8f44706
2 changed files with 10 additions and 10 deletions

View File

@@ -11,6 +11,8 @@ contexts:
scope: support.function.show-nonprintable.space
- match: "├─*┤"
scope: constant.character.escape.show-nonprintable.tab
- match: "↹"
scope: constant.character.escape.show-nonprintable.tab
- match: "␤"
scope: keyword.operator.show-nonprintable.newline
- match: "␍"