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.
| 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*