moved profile settings view to settings plugin, web entry cleanup

This commit is contained in:
Eugene Pankov
2021-07-07 01:22:50 +02:00
parent 93a89e3c86
commit 0ad32fa79d
27 changed files with 47 additions and 130 deletions

View File

@@ -14,6 +14,11 @@ appearance:
opacity: 1.0
vibrancy: true
vibrancyType: 'blur'
terminal:
showBuiltinProfiles: true
hotkeys:
profile:
__nonStructural: true
profiles: []
recentProfiles: []
recoverTabs: true