Merge pull request #2473 from Tyriar/2471

Mark element and textarea APIs as | undefined
2019-10-15 16:41:59 -07:00
parent 99db619a5c cfe8022867
commit 91cbeecf52
5 changed files with 8 additions and 8 deletions
@@ -362,12 +362,12 @@ declare module 'xterm' {
    /**
     * The element containing the terminal.
     */
-    readonly element: HTMLElement;
+    readonly element: HTMLElement | undefined;

    /**
     * The textarea that accepts input for the terminal.
     */
-    readonly textarea: HTMLTextAreaElement;
+    readonly textarea: HTMLTextAreaElement | undefined;

    /**
     * The number of rows in the terminal's viewport. Use