Merge pull request #9 from pkoch/master
Add option to close gundo on revert.
author |
Steve Losh <steve@stevelosh.com> |
date |
Mon, 09 May 2011 15:03:11 -0700 |
parents |
09ee9f0039e5
(current diff)
a89fb121c18d
(diff)
|
children |
8aeb6a1a36e4
|
branches/tags |
(none) |
files |
|
Changes
--- a/plugin/gundo.vim Sun Mar 13 16:24:08 2011 -0400
+++ b/plugin/gundo.vim Mon May 09 15:03:11 2011 -0700
@@ -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"}}}