I was considering it. Or at least, deprecating it once we have an adequate replacement, which can then have a different behavior on long math strings.
If we're keeping the current behavior, I suppose that means that there should be a warning for newlines in a math string? On Mon, Feb 7, 2022 at 1:39 PM 'Alexander van der Vekens' via Metamath < [email protected]> wrote: > On Monday, February 7, 2022 at 10:50:51 AM UTC+1 [email protected] wrote: > >> After playing with rewrap a bit, I think the reason for the restriction >> is that "write source /rewrap" will not attempt to break math strings, but >> it will remove newlines from math strings, meaning that if you have a long >> math string containing newlines it will be rewrapped into a long line, >> which then fails to pass verify markup. >> >> This leaves the question of what to do, however. The rewrap command could >> reflow math tokens, but this almost always looks terrible, which is why it >> doesn't do this for regular statements unless they go over the line limit. >> A more reasonable approach would be to preserve any internal whitespace in >> a math string, to allow for manual indentation. >> > > Do you want to modify the "write source /rewrap" command? I am happy with > its current behaviour, and to split math strings manually if they are too > long seems to be sufficient. > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/9be9c84f-5cfb-4d8e-8e08-9a6a422b49dan%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/9be9c84f-5cfb-4d8e-8e08-9a6a422b49dan%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSsq3fnmCCLPRtq_6jov1xDbRZy%2BNYeS6_nzp5GO1musBA%40mail.gmail.com.
