Model Parsing Causes File Save Conflict in remote development

[aozgaa]

Issue

When running the command TLA+: Parse Module in remote development, the editor views the amendments/edits to the file as a dirty write and triggers diff mode.

This is ergonomically inconvenient and negates the benefits of parsing on save.

The same phenomenon occurs when Automatic Module Parsing is enabled.

This issue does not reproduce with local development.

Build Information

Version: 1.75.1 (user setup) Commit: 441438abd1ac652551dbe4d408dfcec8a499b8bf Date: 2023-02-08T21:32:34.589Z Electron: 19.1.9 Chromium: 102.0.5005.194 Node.js: 16.14.2 V8: 10.2.154.23-electron.0 OS: Windows_NT x64 10.0.19045 Sandboxed: No

TLA+ Extension Version: v1.5.4

[lemmy]

Is Win 10 both the OS of the local and the remote host?

[aozgaa]

Win 10 is the local host and linux (Ubuntu 22.04) is the remote.

[aozgaa]

To further clarify w/r/t local development, the issue does not reproduce when I run the same workflows on the win 10 box, nor the ubuntu box.