diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2018-11-24 12:00:55 +0100 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2018-11-24 12:00:55 +0100 |
| commit | ae1034fa72c16414abc8db8d142e5adb672e6efe (patch) | |
| tree | 22d60b0f3de45b4a02e961dee347774c715a1ebf | |
| parent | f7fe570a09b16deb6d15f16b0ee1610925d0644a (diff) | |
vimrc: decrease updatetime to get earlier gitgutter updates
| -rw-r--r-- | vimrc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -25,6 +25,7 @@ set noshowmode " don't show current mode (done by airline) set encoding=utf-8 " use utf8 by default set number " enable line numbers set relativenumber " show relative line numbers +set updatetime=100 " update gutter more often set backspace=indent,eol,start " enable backspacing set grepprg=ag\ --vimgrep " use Ag for grepping set grepformat=%f:%l:%c:%m " Ag-specific output format |
