mirror of
https://github.com/Eugeny/tabby
synced 2024-12-13 23:02:41 +00:00
option to disable dynamic tab title in profiles - fixes #3574
This commit is contained in:
parent
7c1697b9cb
commit
0bf870738e
3 changed files with 11 additions and 0 deletions
|
@ -22,6 +22,7 @@ export interface Profile {
|
|||
shell?: string
|
||||
isBuiltin?: boolean
|
||||
icon?: string
|
||||
disableDynamicTitle?: boolean
|
||||
}
|
||||
|
||||
export interface TerminalColorScheme {
|
||||
|
|
|
@ -62,6 +62,12 @@
|
|||
placeholder='#000000'
|
||||
)
|
||||
|
||||
.form-line
|
||||
.header
|
||||
.title Disable dynamic tab title
|
||||
.description Connection name will be used as a title instead
|
||||
toggle([(ngModel)]='profile.disableDynamicTitle')
|
||||
|
||||
.modal-footer
|
||||
button.btn.btn-outline-primary((click)='save()') Save
|
||||
button.btn.btn-outline-danger((click)='cancel()') Cancel
|
||||
|
|
|
@ -104,6 +104,10 @@ export class TerminalService {
|
|||
if (profile.color) {
|
||||
(this.app.getParentTab(tab) ?? tab).color = profile.color
|
||||
}
|
||||
if (profile.disableDynamicTitle) {
|
||||
tab.enableDynamicTitle = false
|
||||
tab.setTitle(profile.name)
|
||||
}
|
||||
return tab
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue