9d570ff17372

Add g:gundo_playback_delay option

Allow for the option for setting the delay (in milliseconds) to be used
by the GundoPlayTo function in calling vim's sleep command during play
back.
[view raw] [browse files]
author alvinfrancis <alvinfrancisdumalus@gmail.com>
date Mon, 15 Apr 2013 22:32:39 +0800
parents 8c570a493d26
children 0f7a6bcde76c
branches/tags (none)
files autoload/gundo.py autoload/gundo.vim doc/gundo.txt

Changes

--- a/autoload/gundo.py	Sat Jun 02 17:31:48 2012 -0400
+++ b/autoload/gundo.py	Mon Apr 15 22:32:39 2013 +0800
@@ -524,6 +524,7 @@
 
     target_n = int(vim.eval('s:GundoGetTargetState()'))
     back = int(vim.eval('g:gundo_target_n'))
+    delay = int(vim.eval('g:gundo_playback_delay'))
 
     vim.command('echo "%s"' % back)
 
@@ -570,7 +571,7 @@
         normal('zz')
         _goto_window_for_buffer(back)
         vim.command('redraw')
-        vim.command('sleep 60m')
+        vim.command('sleep %dm' % delay)
 
 def initPythonModule():
     if sys.version_info[:2] < (2, 4):
--- a/autoload/gundo.vim	Sat Jun 02 17:31:48 2012 -0400
+++ b/autoload/gundo.vim	Mon Apr 15 22:32:39 2013 +0800
@@ -49,6 +49,9 @@
 if !exists("g:gundo_auto_preview")"{{{
     let g:gundo_auto_preview = 1
 endif"}}}
+if !exists("g:gundo_playback_delay")"{{{
+    let g:gundo_playback_delay = 60
+endif"}}}
 
 let s:has_supported_python = 0
 if g:gundo_prefer_python3 && has('python3')"{{{
--- a/doc/gundo.txt	Sat Jun 02 17:31:48 2012 -0400
+++ b/doc/gundo.txt	Mon Apr 15 22:32:39 2013 +0800
@@ -20,6 +20,7 @@
         3.9  gundo_preview_statusline .. |gundo_preview_statusline|
              gundo_tree_statusline ..... |gundo_tree_statusline|
         3.10 gundo_auto_preview ........ |gundo_auto_preview|
+        3.11 gundo_playback_delay ...... |gundo_playback_delay|
     4. License ......................... |GundoLicense|
     5. Bugs ............................ |GundoBugs|
     6. Contributing .................... |GundoContributing|
@@ -216,6 +217,15 @@
 
 Default: 1 (automatically preview diffs)
 
+------------------------------------------------------------------------------
+3.11 g:gundo_playback_delay                             *gundo_playback_delay*
+
+This is the delay in milliseconds between each change when running 'play to'
+mode. Set this to a higher number for a slower playback or to a lower number
+for a faster playback.
+
+Default: 60
+
 ==============================================================================
 4. License                                                      *GundoLicense*