fix indent behavior for lines without indent
This commit is contained in:
parent
2fca4e5643
commit
36d4cf4f5b
|
@ -111,7 +111,7 @@ provide-module coq %{
|
||||||
# Hence here only a simple mechanism of copying indent is done.
|
# Hence here only a simple mechanism of copying indent is done.
|
||||||
define-command -hidden coq-copy-indent-on-newline %{
|
define-command -hidden coq-copy-indent-on-newline %{
|
||||||
evaluate-commands -draft -itersel %{
|
evaluate-commands -draft -itersel %{
|
||||||
try %{ execute-keys -draft k <a-x> s ^\h* <ret> y gh j P }
|
try %{ execute-keys -draft k <a-x> s ^\h+ <ret> y gh j P }
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user