vim/gundo.vim
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add option to close gundo on revert.

Browse Source
This commit is contained in:
Paulo Koch 2011-05-05 02:54:44 +01:00
parent e7a1ecf244
commit 7aaeebd88b
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
plugin/gundo.vim
View File

@ -66,6 +66,9 @@ endif"}}}
if !exists("g:gundo_map_move_newer")"{{{
let g:gundo_map_move_newer = 'k'
endif"}}}
if !exists("g:gundo_close_on_revert")"{{{
let g:gundo_close_on_revert = 1
endif"}}}
"}}}
@ -884,6 +887,9 @@ def GundoRevert():
vim.command('GundoRenderGraph')
_goto_window_for_buffer(back)
if int(vim.eval('g:gundo_close_on_revert')):
vim.command('GundoToggle')
GundoRevert()
ENDPYTHON
endfunction"}}}