From 6053e951b2c216843f358d2a9f3395c4ffdd08fa Mon Sep 17 00:00:00 2001 From: danikaze Date: Tue, 7 Jan 2020 08:36:04 +0900 Subject: [PATCH] Fix wrong type in blessed (screen.ignoreLocked) (#41397) --- types/blessed/index.d.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/types/blessed/index.d.ts b/types/blessed/index.d.ts index 2d96241058..ec9fddf70b 100644 --- a/types/blessed/index.d.ts +++ b/types/blessed/index.d.ts @@ -4,6 +4,7 @@ // Steve Kellock // Max Brauer // Nathan Rajlich +// Daniel Berlanga // Definitions: https://github.com/borisyankov/DefinitelyTyped // TypeScript Version: 2.1 @@ -946,7 +947,7 @@ export namespace Widgets { * Array of keys in their full format (e.g. C-c) to ignore when keys are locked or grabbed. Useful * for creating a key that will always exit no matter whether the keys are locked. */ - ignoreLocked?: boolean; + ignoreLocked?: string[]; /** * Automatically "dock" borders with other elements instead of overlapping, depending on position