Merge pull request #901 from KiddoV/devel

fix: typing error ``jquery.terminal`` is not a module
jcubic · Sep 15, 2023 · 1b7fecf · 1b7fecf
2 parents 73a0060 + c1428be
commit 1b7fecf
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/js/jquery.terminal.d.ts b/js/jquery.terminal.d.ts
@@ -828,3 +828,8 @@ interface JQueryTerminal<TElement = HTMLElement> extends JQuery<TElement> {
     scroll_to_bottom(): JQueryTerminal;
     is_bottom(): boolean;
 }
+
+declare module 'jquery.terminal' {
+    const JQTerminal: (window: Window, JQuery: JQueryStatic) => void;
+    export default JQTerminal;
+}