From 7973b26e7a956ed6e59bd4e9d80a2b0195ad3cc5 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Sat, 2 Sep 2017 19:45:44 -0700 Subject: [PATCH] Include new options in ITerminalOptions --- typings/xterm.d.ts | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/typings/xterm.d.ts b/typings/xterm.d.ts index 72206c82..b1cea816 100644 --- a/typings/xterm.d.ts +++ b/typings/xterm.d.ts @@ -41,6 +41,21 @@ interface ITerminalOptions { */ disableStdin?: boolean; + /** + * The font size used to render text. + */ + fontSize?: number; + + /** + * The font family used to render text. + */ + fontFamily?: string; + + /** + * The line height used to render text. + */ + lineHeight?: number; + /** * The number of rows in the terminal. */