From 69379ba59bf5c8b369675e65116c73ece6f0ec85 Mon Sep 17 00:00:00 2001 From: Daniel Imms <2193314+Tyriar@users.noreply.github.com> Date: Sun, 11 Dec 2022 11:33:03 -0800 Subject: [PATCH] Simplify options API Fixes #4259 --- typings/xterm.d.ts | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) diff --git a/typings/xterm.d.ts b/typings/xterm.d.ts index 926cc6b4a3..4c2291f93f 100644 --- a/typings/xterm.d.ts +++ b/typings/xterm.d.ts @@ -704,29 +704,24 @@ declare module 'xterm' { * Gets or sets the terminal options. This supports setting multiple options. * * @example Get a single option - * ```typescript + * ```ts * 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 + * ```ts * terminal.options.fontSize = 12; * ``` * * @example Set multiple options - * ```typescript + * ```ts * terminal.options = { * fontSize: 12, * fontFamily: 'Arial', * }; * ``` */ - set options(options: ITerminalOptions); + options: ITerminalOptions; /** * Natural language strings that can be localized.