Make Terminal API properties readonly

Fixes #1867
2018-12-31 20:09:48 -08:00
parent 4375b3cdb9
commit 338558d86c
7 changed files with 27 additions and 23 deletions
@@ -237,7 +237,7 @@ export interface IBufferAccessor {
 }

 export interface IElementAccessor {
-  element: HTMLElement;
+  readonly element: HTMLElement;
 }

 export interface ILinkifierAccessor {