# HG changeset patch
# User Paulo Koch <paulo.koch@gmail.com>
# Date 1304560484 -3600
# Node ID a89fb121c18d83b0ea9c948cfd0a4906720d4dbd
# Parent  09ee9f0039e52202fb4e0a6f6569be72b7210e71
Add option to close gundo on revert.

diff -r 09ee9f0039e5 -r a89fb121c18d plugin/gundo.vim
--- 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"}}}