Add option to close gundo on revert.
| author |
Paulo Koch <paulo.koch@gmail.com> |
| date |
Thu, 05 May 2011 02:54:44 +0100 |
| parents |
09ee9f0039e5
|
| children |
b4bac5edf5fe
|
| branches/tags |
(none) |
| files |
plugin/gundo.vim |
Changes
--- a/plugin/gundo.vim Sun Mar 13 16:24:08 2011 -0400
+++ b/plugin/gundo.vim Thu May 05 02:54:44 2011 +0100
@@ -66,6 +66,9 @@
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 @@
vim.command('GundoRenderGraph')
_goto_window_for_buffer(back)
+ if int(vim.eval('g:gundo_close_on_revert')):
+ vim.command('GundoToggle')
+
GundoRevert()
ENDPYTHON
endfunction"}}}