enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-24 02:42:28 +03:00
Code Issues Projects Releases Wiki Activity

Fix project edits (#9594)

Browse Source 
Fixes the issue that prevents project edits from being committed.
This commit is contained in:
Ilya Bogdanov 2024-04-02 16:33:14 +04:00 committed by GitHub
parent ab5fe1757e
commit 9db264231e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/gui2/ydoc-server/edits.ts
View File

@ -46,7 +46,7 @@ export function applyDocumentUpdates(
synced: EnsoFileParts,
update: ModuleUpdate,
): AppliedUpdates {
const codeChanged = update.nodesUpdated.size && update.nodesAdded.size && update.nodesDeleted.size
const codeChanged = update.nodesUpdated.size || update.nodesAdded.size || update.nodesDeleted.size
let idsChanged = false
let metadataChanged = false
for (const { changes } of update.metadataUpdated) {