Re: [tlaplus] Non reactive HMI

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 25.04.2017 13:44, Asterion Daedalus wrote:
> I have toolbox 1.5.0 running on windows 10.
>
> [...]
>
> Getting now the following error from specification page:
> 
> An internal error occurred during: "Periodic workspace save.".
> Cannot set lower sequence number for root (previous: 13, new: 12). Location: D:\Safety\TLA+\workspace\.metadata\.plugins\org.eclipse.core.resources\.safetable\org.eclipse.core.resources
> 
> When I switch to model editor I get:
> An internal error has occurred.
> java.lang.NullPointerException


In a private email Asterion confirmed, that the bug is gone in the most
recent 1.5.3 release of the Toolbox.

M.