Autosave adapted Dezyne file on verify/F6
At current (VSCode, dzn-lsp-1.2.0.rc0, Dezyne 2.13.2, windows) when a Dezyne file has changed by editing but not saved to disk; on Verify/F6 the modelchecker will pick the Dezyne file from disk. Giving feedback based on the pre-changed model. The developer has to make sure the file is saved beforehand by manually instructing VSCode to save.
More user friendly would be to autosave the Dezyne file first as part of Verify/F6. Possibly autosave all open Dezyne file (when changed).