Re: [tlaplus] Issues with seeing error trace and enabling Deadlock setting

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 09.12.20 04:48, Martin Harrison wrote:
> Do you know which of the Gnome themes make the check mark in the 
> Deadlock button visible?
>
> I can see that check mark, but only when the TLA+ theme is Dark (which 
> is not ideal, because then the values in the states presented in the 
> Error Trace are very hard to see).

Hi,

it looks fine here with the "Radiance" theme.  I also disable theming in 
the preferences (screenshot shows it enabled).

Markus

--
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/337ac6e6-cc14-4fdd-6c6a-fc999c396507%40lemmster.de.

Attachment: Screenshot from 2020-12-09 11-04-00.png
Description: PNG image