diff options
| author | geireann <geireann.lindfield@gmail.com> | 2024-07-18 15:31:13 -0400 |
|---|---|---|
| committer | geireann <geireann.lindfield@gmail.com> | 2024-07-18 15:31:13 -0400 |
| commit | bff5a298df61f96fbdcbbb7ebd6a5a441c85151c (patch) | |
| tree | 9536eb706e6fb7b2fc43e234d6764a7a7956f922 /src/client/util/DocumentManager.ts | |
| parent | 740d588a4cd5df9877664877149120bf4cacacaa (diff) | |
starting to remove anys
Diffstat (limited to 'src/client/util/DocumentManager.ts')
| -rw-r--r-- | src/client/util/DocumentManager.ts | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/client/util/DocumentManager.ts b/src/client/util/DocumentManager.ts index 96b8b5657..e41546d09 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -356,7 +356,6 @@ export class DocumentManager { if (options.playMedia) docView.ComponentView?.playFrom?.(NumCast(docView.Document._layout_currentTimecode)); if (options.playAudio) DocumentManager.playAudioAnno(docView.Document); if (options.toggleTarget && (!options.didMove || docView.Document.hidden)) docView.Document.hidden = !docView.Document.hidden; - Doc.AddUnHighlightWatcher(() => docView.Document[Animation] = undefined); } } } |