mirror of
https://github.com/sharkdp/bat.git
synced 2025-02-18 02:30:55 +01:00
Switch to "·" (U+00B7) Middle Dot from "•" (U+2022) Bullet
This commit is contained in:
parent
3956e96e74
commit
99819087f1
@ -7,7 +7,7 @@ file_extensions:
|
|||||||
scope: whitespace
|
scope: whitespace
|
||||||
contexts:
|
contexts:
|
||||||
main:
|
main:
|
||||||
- match: "•"
|
- match: "·"
|
||||||
scope: support.function.show-nonprintable.space
|
scope: support.function.show-nonprintable.space
|
||||||
- match: "├─*┤"
|
- match: "├─*┤"
|
||||||
scope: constant.character.escape.show-nonprintable.tab
|
scope: constant.character.escape.show-nonprintable.tab
|
||||||
|
@ -60,7 +60,7 @@ pub fn replace_nonprintable(input: &[u8], tab_width: usize) -> String {
|
|||||||
|
|
||||||
match chr {
|
match chr {
|
||||||
// space
|
// space
|
||||||
' ' => output.push('•'),
|
' ' => output.push('·'),
|
||||||
// tab
|
// tab
|
||||||
'\t' => {
|
'\t' => {
|
||||||
if tab_width == 1 {
|
if tab_width == 1 {
|
||||||
|
Loading…
Reference in New Issue
Block a user