Re: mapping a substitute for the Esc key?
- View SourceOn Thu, Feb 21, 2013 at 09:37 PM, Steve Litt <slitt@...> wrote:
> from: Steve Litt <slitt@...>Hi Steve
> date: Thu, Feb 21 04:37 PM -05:00 2013
> to: Grahame Blackwood <grahameblackwood@...>
> subject: Re: mapping a substitute for the Esc key?
> On Thu, 21 Feb 2013 16:41:14 +0000
> Grahame Blackwood <grahameblackwood@...> wrote:
>> On Mon, Feb 18, 2013 at 10:54 PM, Steve Litt
>> <slitt@...> wrote:
>> > from: Steve Litt <slitt@...>
>> > date: Mon, Feb 18 05:54 PM -05:00 2013
>> > to: vim_use@...
>> > reply-to: vim_use@...
>> > 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.
> 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?
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.
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 vim_use+unsubscribe@....
For more options, visit https://groups.google.com/groups/opt_out.