Re: A bug or a feature?

Thanks! 
  this makes sense to me. Indeed I was not aware of this meaning of  <space>  (maybe I need to read Jolly Writer more carefully....)

Max


> On 5. May 2021, at 12:20, TeXmacs <[email protected]> wrote:
> 
> Hi Max,
> 
> <space> is an infix operator (see std-symbols.scm),
> so "a<space>=<space>b" does not really make sense.
> You can enter tiny explicit spaces using \, \: \;
> 
> We might create better keyboard shortcuts though,
> if you have a proposition that is well thought through
> (e.g. in particular, one has to consider the complete
> list of current variants and use cases).
> 
> Best wishes, --Joris
> 
> 
> 
> On Wed, May 05, 2021 at 12:02:05PM +0200, Massimiliano Gubinelli wrote:
>> To be clear, the following snippet
>> 
>> (equation* (document "a<space>=<space>b"))
>> 
>> does not show up as I expect. There is space betwen "a" and "=" but not between "=" and "b".
>> 
>> Max
>> 
>> 
>>> On 5. May 2021, at 12:00, Massimiliano Gubinelli <[email protected]> wrote:
>>> 
>>> 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] <mailto:[email protected]><mailto:[email protected] <mailto:[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]><mailto:[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]><mailto:[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]> <mailto:[email protected] <mailto:[email protected]>>
>>>>>> https://lists.gnu.org/mailman/listinfo/texmacs-dev <https://lists.gnu.org/mailman/listinfo/texmacs-dev><https://lists.gnu.org/mailman/listinfo/texmacs-dev <https://lists.gnu.org/mailman/listinfo/texmacs-dev>>
>>>>> 
>>>> 
>>>> _______________________________________________
>>>> Texmacs-dev mailing list
>>>> [email protected] <mailto:[email protected]> <mailto:[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] <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] <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