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

Display line-feed as instead of

This commit is contained in:
sharkdp
2018-11-01 19:54:04 +01:00
committed by David Peter
parent 8fa8f44706
commit 50dc4a79b0
2 changed files with 5 additions and 5 deletions

View File

@@ -13,8 +13,8 @@ contexts:
scope: constant.character.escape.show-nonprintable.tab
- match: "↹"
scope: constant.character.escape.show-nonprintable.tab
- match: ""
scope: keyword.operator.show-nonprintable.newline
- match: ""
scope: keyword.operator.show-nonprintable.line-feed
- match: "␍"
scope: string.show-nonprintable.carriage-return
- match: "␀"