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.
Markus
----- 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 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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/56da343a-d3ab-4f9b-a37d-dc294576ef77n%40googlegroups.com.