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.
Screenshot from 2020-12-09 11-04-00.png
Description: PNG image