|
@@ -207,6 +207,15 @@ ngb-tabset.vertical(type='pills', [activeId]='activeTab')
|
|
|
)
|
|
)
|
|
|
| {{screen.name}}
|
|
| {{screen.name}}
|
|
|
|
|
|
|
|
|
|
+ .form-line(*ngIf='config.store.appearance.dock != "off"')
|
|
|
|
|
+ .header
|
|
|
|
|
+ .title Dock always on top
|
|
|
|
|
+ .description Keep docked terminal always on top
|
|
|
|
|
+ toggle(
|
|
|
|
|
+ [(ngModel)]='config.store.appearance.dockAlwaysOnTop',
|
|
|
|
|
+ (ngModelChange)='config.save(); docking.dock()',
|
|
|
|
|
+ )
|
|
|
|
|
+
|
|
|
.form-line(*ngIf='config.store.appearance.dock != "off"')
|
|
.form-line(*ngIf='config.store.appearance.dock != "off"')
|
|
|
.header
|
|
.header
|
|
|
.title Docked terminal size
|
|
.title Docked terminal size
|