Check Again should reuse the current window

[CIPop]

Check Again should reuse the current window

[afonsonf]

Hi, thanks for reporting the bug, I have merged a PR that should fix this (#296)

[afonsonf]

@afonsonf It appears that this pull request makes the extension reuse an old model checking view. That's great except in situations where TLC startup takes some time. During this period, the view might display the result of the previous model checker run, potentially causing confusion. Would it be possible to reset or blank the view when launching TLC?

Yes, in the last PR I made it always use the "open last model results", I will reintroduce the usage of the "open empty window" and properly reset it without closing it up and opening a new one

[lemmy]

@afonsonf It appears that this pull request makes the extension reuse an old model checking view. That's great except in situations where TLC startup takes some time. During this period, the view might display the result of the previous model checker run, potentially causing confusion. Would it be possible to reset or blank the view when launching TLC?