Rebuild review panel entries when the editor viewport changes (#19962)

GitOrigin-RevId: af144a278a3338bffb58e40a91ddbeb204959dee
This commit is contained in:
Alf Eaton
2024-08-16 08:04:27 +00:00
committed by Copybot
parent ad7abee39a
commit acba1b8956
2 changed files with 27 additions and 4 deletions
@@ -161,7 +161,23 @@ export const trackChanges = (
},
}
})
: [],
: ViewPlugin.define(view => {
let timer: number
return {
update(update) {
if (update.viewportChanged) {
if (timer) {
window.clearTimeout(timer)
}
timer = window.setTimeout(() => {
dispatchEvent(new Event('editor:viewport-changed'))
}, 25)
}
},
}
}),
// draw change decorations
ViewPlugin.define<