Ken Takata wrote:
> `:help terminal-typing` says that:
>
> > 'termwinkey' . send a CTRL-W to the job in the terminal
>
> However, this only works when 'termwinkey' is empty. If 'termwinkey' is set
> (even if it is set to <C-W>), `'termwinkey' .` doesn't send anything.
> Shouldn't it send 'termwinkey' (not CTRL-W) when 'termwinkey' is set?
>
>
> There are other differences between the document and the actual behavior:
>
> > CTRL-W CTRL-\ send a CTRL-\ to the job in the terminal
>
> This only works when 'termwinkey' is empty.
> Shouldn't `'termwinkey' CTRL-\` send a CTRL-\ ?
>
> > 'termwinkey' CTRL-W move focus to the next window
>
> This doesn't work when 'termwinkey' is explicitly set to <C-W>.
> (CTRL-W is sent in that case.)
>
>
> Please check the attached patch for my proposal.
> (Actually, I'm still wondering the behavior of C-W C-W. Currently, it works
> differently when 'termwinkey' is set to empty or explicitly to <C-W>.)
Thanks. If 'termwinkey' is set to CTRL-W it should behave the same way
as it being empty. I'll make it like that.
I had not given the use of 'termwinkey' much thought. I think the
easiest to understand is when it's just the replacement for CTRL-W and
otherwise works the same way.
--
hundred-and-one symptoms of being an internet addict:
67. Your hard drive crashes. You haven't logged in for two hours. You start
to twitch. You pick up the phone and manually dial your ISP's access
number. You try to hum to communicate with the modem. You succeed.
/// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
You received this message from the "vim_dev" 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_dev" 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/d/optout.
