From 8f2a3f13333ec34ab7d3cbc49c3da26dfbf7b501 Mon Sep 17 00:00:00 2001 From: Eugene Pankov Date: Sun, 16 May 2021 18:59:14 +0200 Subject: [PATCH] fixes for running without local plugin --- terminus-core/src/configDefaults.yaml | 2 ++ .../src/components/terminalSettingsTab.component.pug | 2 +- terminus-terminal/src/config.ts | 1 - 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/terminus-core/src/configDefaults.yaml b/terminus-core/src/configDefaults.yaml index 1982e037..dd46a334 100644 --- a/terminus-core/src/configDefaults.yaml +++ b/terminus-core/src/configDefaults.yaml @@ -14,6 +14,8 @@ appearance: opacity: 1.0 vibrancy: true vibrancyType: 'blur' +terminal: + recoverTabs: true enableAnalytics: true enableWelcomeTab: true electronFlags: diff --git a/terminus-terminal/src/components/terminalSettingsTab.component.pug b/terminus-terminal/src/components/terminalSettingsTab.component.pug index 8d193f93..2609d01c 100644 --- a/terminus-terminal/src/components/terminalSettingsTab.component.pug +++ b/terminus-terminal/src/components/terminalSettingsTab.component.pug @@ -43,7 +43,7 @@ h3.mb-3 Terminal ) | Audible -.alert.alert-info.d-flex.align-items-center(*ngIf='config.store.terminal.bell != "audible" && config.store.terminal.profile.startsWith("wsl")') +.alert.alert-info.d-flex.align-items-center(*ngIf='config.store.terminal.bell != "audible" && (config.store.terminal.profile || "").startsWith("wsl")') .mr-auto WSL terminal bell can only be muted via Volume Mixer button.btn.btn-secondary((click)='openWSLVolumeMixer()') Show Mixer diff --git a/terminus-terminal/src/config.ts b/terminus-terminal/src/config.ts index e08c049c..ec21f15b 100644 --- a/terminus-terminal/src/config.ts +++ b/terminus-terminal/src/config.ts @@ -49,7 +49,6 @@ export class TerminalConfigProvider extends ConfigProvider { ], }, customColorSchemes: [], - recoverTabs: true, warnOnMultilinePaste: true, searchRegexAlwaysEnabled: false, searchOptions: {