From 2c8196e3464bfe21c3796122b438f730d10eeb66 Mon Sep 17 00:00:00 2001 From: DMYTRO ZHARKOV Date: Tue, 18 Jan 2022 15:14:11 +0100 Subject: [PATCH] Add config field to terminal Signed-off-by: DMYTRO ZHARKOV --- src/common/user-store/user-store.ts | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/common/user-store/user-store.ts b/src/common/user-store/user-store.ts index 028beaf253..a1ffe65d66 100644 --- a/src/common/user-store/user-store.ts +++ b/src/common/user-store/user-store.ts @@ -58,8 +58,6 @@ export class UserStore extends BaseStore /* implements UserStore @observable kubectlBinariesPath?: string; @observable terminalCopyOnSelect: boolean; @observable terminalConfig: TerminalConfig; - @observable terminalFontSize?: number; - @observable terminalFontFamily?: string; @observable updateChannel?: string; @observable extensionRegistryUrl: ExtensionRegistry;