vscode-tlaplus icon indicating copy to clipboard operation
vscode-tlaplus copied to clipboard

Published 20 hours ago • verified publisher icon tlaplus

"Check Again" no-op if TLA+ debugger currently running

Open lemmy opened this issue 1 year ago • 1 comments

"Check Again" appears enabled but becomes a no-op if the TLA+ debugger is running.

Screenshot 2023-05-05 at 10 40 13 AM

lemmy avatar May 05 '23 17:05 lemmy

Related to https://github.com/tlaplus/vscode-tlaplus/issues/261

lemmy avatar May 05 '23 17:05 lemmy