Unfold everything before starting playback.
fixes issue 9
This commit is contained in:
parent
011f902ac7
commit
7461384593
@ -770,6 +770,7 @@ function! s:GundoPlayTo()
|
||||
let target_num = matchstr(target_line, '\v[0-9]+')
|
||||
let back = bufwinnr(g:gundo_target_n)
|
||||
exe back . "wincmd w"
|
||||
normal zR
|
||||
|
||||
python << ENDPYTHON
|
||||
def GundoPlayTo():
|
||||
|
Loading…
Reference in New Issue
Block a user