Merge remote-tracking branch 'Guest0x0/master'
This commit is contained in:
commit
3589791670
|
@ -111,7 +111,7 @@ provide-module coq %{
|
|||
# Hence here only a simple mechanism of copying indent is done.
|
||||
define-command -hidden coq-copy-indent-on-newline %{
|
||||
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