small bug in TLC gui

[david streader]

Hi 

   On the TLC model overview page:

  1. You can instantiate the parameters (CONSTANTS)  initially the screen is white text on grey background but when you change the type  (Model value -> Ordinary assignment, .... or what ever) the screen is the unhelpful white text on white background.

  2. Not sure if this is a bug or restriction we need to work with:

       From ABSpec "Inv == AVar[2]= BVar[2] => (AVar = Bvar)"  but Inv is not recognised as an Invariant whereas the right hand side is.

       I previously noticed that in a definition I could not use any previous definitions.

[Markus Kuppe]

Hi David,

what is your environment/OS?

Thanks
Markus

[david streader]

MacOS Mojave 10.14.6  running 

This is Version 1.6.1 of Day Month 20?? and includes:

  - SANY Version 2.1 of 23 July 2017

  - TLC Version 2.15 of Day Month 20??

  - PlusCal Version 1.9 of 10 July 2019

  - TLATeX Version 1.0 of 20 September 2017

from a recent nightly build.  david 

[loki der quaeler]

Could you attach a screenshot of what you're seeing (perhaps with the dialog and the main window of the Toolbox behind it?)

Thank you - loki

[david streader]

Sorry for delay  teaching has started and time gets eaten up very quickly.

the change in the window occurred when editing  a Model value to an ordinary assignment.

[Markus Kuppe]

On 04.03.20 12:39, david streader wrote:
> Sorry for delay  teaching has started and time gets eaten up very quickly.
>

> screen.png
>
> the change in the window occurred when editing  a Model value to an
> ordinary assignment.
>

Hi David,

please try to disable theming by launching the Toolbox with 'toolbox
-cssTheme none'. The look & feel won't be as fancy but it should
address the UX issue with the model editor.

Thanks
Markus

[david streader]

Thanks Markus

All I needed to do was switch the Mac from "dark" theme to "light" theme  and it works just fine.  david