Monospace fonts no longer work on google groups

[Andrew Helwer]

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?

[hornace...@gmail.com]

In my opinion, if you have a question regarding a spec you are writing and you want to ask someone to kindly check what you could be doing wrong, you should push your spec to a GitHub repo - even a throwaway one - and provide a link. That way people can collaborate together by providing comments, creating pull requests etc.

I've always viewed this group as a discussion forum to ask questions and to get help on tooling and the TLA+ language. I don't think any Google Group is a good place to exchange code/specifications.

A Slack workspace for example, would help to avoid sharing code via GitHub, but I am not entirely convinced Slack would be a good fit for the TLA+ community.

Dátum: štvrtok 19. januára 2023, čas: 16:32:14 UTC+1, odosielateľ: andrew...@gmail.com

[Markus Kuppe]

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.

Markus


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

VARIABLE monospace

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

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

=============================

[Andrew Helwer]

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

[Andrew Helwer]

Testing through email interface now; the following line of text should be monospace, done by selecting/highlighting it and changing it to "Fixed Width":

Test test 123 test

--
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/JGkgE2ul8Qk/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/56da343a-d3ab-4f9b-a37d-dc294576ef77n%40googlegroups.com.

[F Weber]

 I’d like to get my custom trailer on my GoogleGroup to be monospaced.

Can I add code to the trailer to accomplish this?

Thx!