Re: A bug or a feature?

Massimiliano Gubinelli <[email protected]>
Newsgroups gmane.editors.texmacs.devel
Message-ID <[email protected]>
Basile,
 I mean that I type [=] and then [space]+[tab] to insert a <space> character. Also if you copy and paste it from somewhere else it will be correctly inserted but not displayed. There will be zero space between = and the following text.

Max


> On 5. May 2021, at 11:53, Basile Audoly <[email protected]> wrote:
> 
> Hi Max,
> I think you need this space to achieve =/ (whatever it means) instead of ≠ when typing the keys [=][spc][/].
> In other words, the space is used to mark the end of the keystroke combination.
> Basile
> 
> 
>> Le 5 mai 2021 à 11:52, Basile Audoly <[email protected] <mailto:[email protected]>> a écrit :
>> 
>> Hi Max,
>> I think you need this space to achieve =+ instead of ≠ when typing the keys [=][spc][/].
>> In other words, the space is interpreted as a the end of the keystroke sequence.
>> Basile
>> 
>>> Le 5 mai 2021 à 11:49, Massimiliano Gubinelli <[email protected] <mailto:[email protected]>> a écrit :
>>> 
>>> Dear all,
>>> a friend (which I'm trying to convert to TeXmacs) has note this strange behaviour (which I never noticed before): in math mode, <space> after "=" is ignored. To check just type [=] and then [space] [tab] to insert <space> and write some more. Wider spaces work, e.g. [space] [tab] [tab] [tab] for example. <space> before "=" also works. So I guess this is a bug?
>>> 
>>> Joris?
>>> 
>>> Max
>>> 
>>> 
>>> _______________________________________________
>>> Texmacs-dev mailing list
>>> [email protected] <mailto:[email protected]>
>>> https://lists.gnu.org/mailman/listinfo/texmacs-dev <https://lists.gnu.org/mailman/listinfo/texmacs-dev>
>> 
> 
> _______________________________________________
> Texmacs-dev mailing list
> [email protected]
> https://lists.gnu.org/mailman/listinfo/texmacs-dev

_______________________________________________
Texmacs-dev mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/texmacs-dev
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.