jonaskrask

Closing the GUI window spawned from VDM will crash the server

7

Happened in the project https://github.com/jonaskrask/vdm-vscode/tree/development/resources/examples/VDMSL/ConwayGameLifeSL When I run using the last launch configuration ("Launch ConwayGameLifeSL Debug 4") the server crash if you close the window that is opened, even if...

Related to issue #19

After the update to the vscode client v7.0.0 and change to the ownership of the socket, the following error occurs after a client.stop() call: rejected promise not handled within 1...

From mail: "... there are several "presentation hints" that I wasn't aware of, which we can use to modify the display of variables. There appear to be settings which allow...