Wednesday, March 13, 2013

Re: gVim: Non-breaking space strangely triggers :simalt~

This is the Autohotkey command:

::excl:: !

The space before '!' is non-breaking, I inserted it with Ctrl-K-Space-Space in gVim.

It would appear that the non-breaking space outputs Alt-Space which gets translated by gVim to :simalt. Why it happens remains a mystery. Why it happens only in one specific gVim session, and not in others remains an even bigger mystery.


On 13 Mar 2013, at 04:46, Ben Fritz <fritzophrenic@gmail.com> wrote:

> On Tuesday, March 12, 2013 4:16:29 PM UTC-5, Sylvia Ganush wrote:
>> Hello.
>>
>>
>>
>> Why may a pasted non-breaking space trigger the :simalt~ command?
>>
>>
>>
>> I have an Autohotkey script that inserts an exclamation mark preceded by a non-breaking space (French typographic convention). But when this script fires in gVim, gVim instead runs :simalt which opens the window's system menu. Strangely, this behaviour is observed only in one particular gVim session. If run the same script in another instance of gVim, all is OK.
>>
>>
>>
>> What may that be?
>>
>>
>>
>> Sylvia
>
> What command is used for the paste?
>
> --
> --
> 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@googlegroups.com.
> 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 vim_use+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

No comments: