Re: A bug or a feature?
Massimiliano Gubinelli <[email protected]>
| Newsgroups | gmane.editors.texmacs.devel |
|---|---|
| Message-ID | <[email protected]> |
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]>> 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] <mailto:[email protected]> >> https://lists.gnu.org/mailman/listinfo/texmacs-dev > _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev