If you don't use the keyboard to adjust the editor (for instance, by selecting text, right clicking, and then "cutting" or "pasting") we wouldn't detect that the text has changed and wouldn't try to auto-save.
This is because it's too hard to distinguish remote file load events from user changes if we're listening to the editor's change event. It's way easier to listen for keyboard events. The quick hack would be to listen for mouse events, too, I suppose.
If you don't use the keyboard to adjust the editor (for instance, by selecting text, right clicking, and then "cutting" or "pasting") we wouldn't detect that the text has changed and wouldn't try to auto-save.
This is because it's too hard to distinguish remote file load events from user changes if we're listening to the editor's
changeevent. It's way easier to listen for keyboard events. The quick hack would be to listen for mouse events, too, I suppose.