Good catches
This commit is contained in:
parent
0ab6984cdf
commit
debe7cfc37
14 changed files with 201 additions and 63 deletions
|
|
@ -93,6 +93,13 @@ export class CursorTracker {
|
|||
await this.getDocumentsUpToDateness(clientCursor);
|
||||
}
|
||||
}
|
||||
// Drop the local-cursor send-cache so the next call re-reads
|
||||
// the file. The first cache key is the editor's input, which
|
||||
// doesn't change when the file content does — without this,
|
||||
// a remote update flipping the file from dirty back to clean
|
||||
// would never re-send the cursor with a fresh `vaultUpdateId`.
|
||||
this.lastLocalCursorStateJson = "";
|
||||
this.lastLocalCursorStateWithoutDirtyDocumentsJson = "";
|
||||
})
|
||||
);
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue