From c118f0418728ad3ffa5514fd9019c21a602efc91 Mon Sep 17 00:00:00 2001 From: Daniel Imms <2193314+Tyriar@users.noreply.github.com> Date: Sun, 11 Dec 2022 11:36:32 -0800 Subject: [PATCH] Sync xterm-headless.d.ts --- typings/xterm-headless.d.ts | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/typings/xterm-headless.d.ts b/typings/xterm-headless.d.ts index af55ffac..2ceb6a94 100644 --- a/typings/xterm-headless.d.ts +++ b/typings/xterm-headless.d.ts @@ -537,11 +537,6 @@ declare module 'xterm-headless' { * ```typescript * console.log(terminal.options.fontSize); * ``` - */ - get options(): Required; - - /** - * Gets or sets the terminal options. This supports setting multiple options. * * @example Set a single option * ```typescript @@ -552,11 +547,11 @@ declare module 'xterm-headless' { * ```typescript * terminal.options = { * fontSize: 12, - * fontFamily: 'Arial', + * fontFamily: 'Courier New', * }; * ``` */ - set options(options: ITerminalOptions); + options: ITerminalOptions; /** * Natural language strings that can be localized.