[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: [tlaplus] Re: small bug in TLC gui
From
: david streader <
davidistreader@xxxxxxxxx
>
Date
: Sun, 8 Mar 2020 13:45:42 -0700 (PDT)
References
: <
ff6d3a2b-e848-4783-8c88-58866f4a18f2@googlegroups.com
> <
ad2782e7-f04b-4f81-a230-2ac1eca23390@googlegroups.com
> <
d466083f-1d48-49eb-b537-2ee4af973005@googlegroups.com
> <
929c06c1-d6a6-4266-bb96-a14f75f52739@googlegroups.com
> <
fdd9302f-894b-bd36-2b4b-9c1b559ea868@lemmster.de
>
Thanks Markus
All I needed to do was switch the Mac from "dark" theme to "light" theme and it works just fine. david
--
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/ccf7004a-6e69-4997-bd43-5dd57bb9b715%40googlegroups.com
.
References
:
[tlaplus] small bug in TLC gui
From:
david streader
[tlaplus] Re: small bug in TLC gui
From:
david streader
[tlaplus] Re: small bug in TLC gui
From:
loki der quaeler
[tlaplus] Re: small bug in TLC gui
From:
david streader
Re: [tlaplus] Re: small bug in TLC gui
From:
Markus Kuppe
Prev by Date:
[tlaplus] PlusCal specification for Event Driven HotStuff algorithm
Next by Date:
[tlaplus] How can I turn off automatic display on a Mac?
Previous by thread:
Re: [tlaplus] Re: small bug in TLC gui
Next by thread:
[tlaplus] Spec formula for Peterson algorithm
Index(es):
Date
Thread