GH-5706: DIsposed the clipboard copy listener.

Closes #5706. Signed-off-by: Akos Kitta <[email protected]>
eclipse-theia · Jul 15, 2019 · 6dd2579 · 6dd2579
1 parent 60dcb33
commit 6dd2579
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/packages/filesystem/src/browser/download/file-download-service.ts b/packages/filesystem/src/browser/download/file-download-service.ts
@@ -79,7 +79,10 @@ export class FileDownloadService {
                 const downloadUrl = `${this.endpoint()}/download/?id=${jsonResponse.id}`;
                 if (copyLink) {
                     if (document.documentElement) {
-                        addClipboardListener(document.documentElement, 'copy', e => this.handleCopy(e, downloadUrl));
+                        const toDispose = addClipboardListener(document.documentElement, 'copy', e => {
+                            toDispose.dispose();
+                            this.handleCopy(e, downloadUrl);
+                        });
                         document.execCommand('copy');
                     }
                 } else {