[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Non reactive HMI

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.