[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Monospace fonts no longer work on google groups

Testing whether monospace fonts work; this is posted through the web interface. The following line of text should be monospace, done by selecting/highlighting it and changing the font to "Courier New":

Test test 123 test

On Thursday, January 19, 2023 at 11:43:47 AM UTC-5 Markus Kuppe wrote:
On 1/19/23 7:32 AM, Andrew Helwer wrote:
> This makes specs here considerably harder to read and reduces the value of
> this place as a support forum. Unsurprising stuff is starting to break.
> What should we do about this?

If you don't want to be at Google's mercy, the group's email front end
gives you more control. The spec below should have a fixed-width font.


----- MODULE Monospace -----

VARIABLE monospace

Init ==
\/ /\ IsEmail
/\ monospace = TRUE
\/ /\ IsWeb
/\ monospace = FALSE

Next ==
PrintT("Read-only web front end: https://discuss.tlapl.us/")


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/56da343a-d3ab-4f9b-a37d-dc294576ef77n%40googlegroups.com.