From c575c7a8bd2b4dda5d8d949ac9397a198f5e5954 Mon Sep 17 00:00:00 2001 From: Sebastian Malton Date: Mon, 13 Feb 2023 07:57:10 -0800 Subject: [PATCH] Fix typing issue with userStorePreferenceDescriptorsInjectable (#7144) Signed-off-by: Sebastian Malton --- packages/core/src/common/user-store/preferences-helpers.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/core/src/common/user-store/preferences-helpers.ts b/packages/core/src/common/user-store/preferences-helpers.ts index 5bdc2a3852..ecb9108bee 100644 --- a/packages/core/src/common/user-store/preferences-helpers.ts +++ b/packages/core/src/common/user-store/preferences-helpers.ts @@ -23,7 +23,7 @@ export const defaultTerminalConfig: TerminalConfig = { fontFamily: defaultTerminalFontFamily, }; -interface BaseEditorConfiguration extends Required> { +export interface BaseEditorConfiguration extends Required> { lineNumbers: NonNullable>; }