On Thu, Feb 21, 2013 at 09:37 PM, Steve Litt <[email protected]> wrote:
> from: Steve Litt <[email protected]> > date: Thu, Feb 21 04:37 PM -05:00 2013 > to: Grahame Blackwood <[email protected]> > subject: Re: mapping a substitute for the Esc key? > > On Thu, 21 Feb 2013 16:41:14 +0000 > Grahame Blackwood <[email protected]> wrote: > >> On Mon, Feb 18, 2013 at 10:54 PM, Steve Litt >> <[email protected]> wrote: >> >> > from: Steve Litt <[email protected]> >> > date: Mon, Feb 18 05:54 PM -05:00 2013 >> > to: [email protected] >> > reply-to: [email protected] >> > subject: mapping a substitute for the Esc key? >> > >> > Hi all, >> > >> > I injured my left middle finger and can no longer extend it. >> > Therefore, hitting the Esc key to get out of insert mode stops my >> > work in its tracks. >> > >> > Question for all of you: What's your favorite substitute for Esc, >> > whether a keystroke, key combination, or key sequence? >> > >> > Thanks >> > >> > SteveT >> > >> Hi Steve >> >> Sorry to hear about your injury and hope your finger improves soon. >> >> I tried replying to the vim_use list but my email hasn't shown up. >> >> My preferred substitute for esc is ;; as on my keyboard it falls under >> my right little finger. I either hit it twice or sometimes just hold >> it down until vim exits insert mode. >> >> Cheers >> >> G > > Thanks Graham. I finally settled on jf, but ;; would have been pretty > good too. > > I think I know your name from a list other than the Vim list: LyX, Lua, > something like that? > > Thanks > > Steve Hi Steve Probably Vimoutliner or Lyx. We have also corresponded about your Umenu system which I use every day, so thank you for developing it and also Vimoutliner - both very useful tools. Cheers G -- -- 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.
