tlaplus
tlaplus copied to clipboard
Changing the type of a declare constant is unreadable in toolbox dark mode themes
This is seen on both Windows and Mac OSX toolbox. Constant is originally one type of value:

On changing to another type of value, the textbox turns white background with grey text, making it unreadable:

This seems to only happen when switching to "ordinary assignment" or "set of model values".