add padding to mini echo
This commit is contained in:
parent
57db71b7f6
commit
7c838a88de
|
@ -380,7 +380,7 @@ Let's make parens and other delimiters easier to tell apart by making nested one
|
|||
("major-mode" . 2)
|
||||
("buffer-name" . 3)
|
||||
("word-count" . 4))))
|
||||
mini-echo-right-padding 0
|
||||
mini-echo-right-padding 2
|
||||
mini-echo-buffer-status-style 'both
|
||||
mini-echo-update-interval 0.2)
|
||||
|
||||
|
|
Loading…
Reference in a new issue