# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1304978591 25200
# Node ID b4bac5edf5fee54819f34176fe682b34945c9fce
# Parent  09ee9f0039e52202fb4e0a6f6569be72b7210e71# Parent  a89fb121c18d83b0ea9c948cfd0a4906720d4dbd
Merge pull request #9 from pkoch/master

Add option to close gundo on revert.

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