Re: A bug or a feature?

Well it now appears to me that fine-tuning the spacing inside
math formulas is maybe not as easy as it should be:
typing '\ ; return' is a bit long.

But then again (cf. our private discussion from yesterday):
what we might really need is a more semantic way of increasing
the space around certain operators (typically binary relations).
We have the experimental package 'wide-spacing' for this and
I urge you to try it and think about possible improvements.

Best wishes, --Joris



On Wed, May 05, 2021 at 12:34:32PM +0200, Massimiliano Gubinelli wrote:
> 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


_______________________________________________
Texmacs-dev mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/texmacs-dev