Merging upstream version 1.7.3.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 0 insertions, 75 deletions

diff --git a/html/src/components/terminal/overlay.ts b/html/src/components/terminal/overlay.ts
deleted file mode 100644
index 0438acf..0000000
--- a/html/src/components/terminal/overlay.ts
+++ /dev/null
@@ -1,75 +0,0 @@
-// ported from hterm.Terminal.prototype.showOverlay
-// https://chromium.googlesource.com/apps/libapps/+/master/hterm/js/hterm_terminal.js
-import { ITerminalAddon, Terminal } from 'xterm';
-
-export class OverlayAddon implements ITerminalAddon {
-    private terminal: Terminal | undefined;
-    private overlayNode: HTMLElement | null;
-    private overlayTimeout: number | null;
-
-    constructor() {
-        this.overlayNode = document.createElement('div');
-        this.overlayNode.style.cssText = `border-radius: 15px;
-font-size: xx-large;
-opacity: 0.75;
-padding: 0.2em 0.5em 0.2em 0.5em;
-position: absolute;
--webkit-user-select: none;
--webkit-transition: opacity 180ms ease-in;
--moz-user-select: none;
--moz-transition: opacity 180ms ease-in;`;
-
-        this.overlayNode.addEventListener(
-            'mousedown',
-            e => {
-                e.preventDefault();
-                e.stopPropagation();
-            },
-            true
-        );
-    }
-
-    activate(terminal: Terminal): void {
-        this.terminal = terminal;
-    }
-
-    dispose(): void {}
-
-    showOverlay(msg: string, timeout?: number): void {
-        const { terminal, overlayNode } = this;
-
-        overlayNode.style.color = '#101010';
-        overlayNode.style.backgroundColor = '#f0f0f0';
-        overlayNode.textContent = msg;
-        overlayNode.style.opacity = '0.75';
-
-        if (!overlayNode.parentNode) {
-            terminal.element.appendChild(overlayNode);
-        }
-
-        const divSize = terminal.element.getBoundingClientRect();
-        const overlaySize = overlayNode.getBoundingClientRect();
-
-        overlayNode.style.top = (divSize.height - overlaySize.height) / 2 + 'px';
-        overlayNode.style.left = (divSize.width - overlaySize.width) / 2 + 'px';
-
-        if (this.overlayTimeout) {
-            clearTimeout(this.overlayTimeout);
-        }
-        if (timeout === null) {
-            return;
-        }
-
-        const self = this;
-        self.overlayTimeout = setTimeout(() => {
-            overlayNode.style.opacity = '0';
-            self.overlayTimeout = setTimeout(() => {
-                if (overlayNode.parentNode) {
-                    overlayNode.parentNode.removeChild(overlayNode);
-                }
-                self.overlayTimeout = null;
-                overlayNode.style.opacity = '0.75';
-            }, 200) as any;
-        }, timeout || 1500) as any;
-    }
-}