On Sun, 14 Jul 2013 22:55:47 +0400 Nikolay Pavlov <[email protected]> wrote:
> On Jul 14, 2013 10:47 PM, "Johannes Deutsch" <[email protected]> wrote: > > > > Hi all, > > > > recently i switched from gvim to vim to enjoy the benefits of the > > interaction between vim and tmux. > > > > Soon after i worked some time with vim I encountered a short delay > > after pressing <ESC> to leave command-line-mode. This short delay is > > completly gone if i press <CTRL>-C in order to leave > > command-line-mode. > > > > Because of this, i suspected <ESC>-<Some key> to be mapped. I > > checked it with :cmap but there are no such mappings. > > > > Maybe someone knows how to remove the observed delay. > > > > Thanks for your effort and with best regards > > > > Johannes > > Set 'ttimeoutlen' to a lesser value (e.g. 10 ms). Vim waits for keys > to be typed and escape is the first character terminal sends when you > type arrows, FN, Home and so on. Thanks a lot for your quick reply and the reasoned explanation. I tried to correct the value of 'ttimeoutlen'. Unfortunately the delay is still observable for ttimeoutlen=1. Probably i should learn to use <CTRL>-C!? > > -- > > -- > > You received this message from the "vim_use" maillist. > > Do not top-post! Type your reply below the text you are replying to. > > For more information, visit http://www.vim.org/maillist.php > > > > --- > > You received this message because you are subscribed to the Google > > Groups > "vim_use" group. > > To unsubscribe from this group and stop receiving emails from it, > > send an > email to [email protected]. > > For more options, visit https://groups.google.com/groups/opt_out. > > > > > -- -- You received this message from the "vim_use" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_use" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
