Replace dom helper with HTMLElement.remove()

2023-01-05 09:14:16 -08:00
parent 1a20fbb25f
commit b3fb8db6b3
6 changed files with 8 additions and 59 deletions
@@ -1,10 +0,0 @@
-/**
- * Copyright (c) 2020 The xterm.js authors. All rights reserved.
- * @license MIT
- */
-
-export function removeElementFromParent(...elements: (HTMLElement | undefined)[]): void {
-  for (const e of elements) {
-    e?.parentElement?.removeChild(e);
-  }
-}