diff options
| author | Maxime Coste <mawww@kakoune.org> | 2024-09-08 21:53:49 +1000 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2024-09-08 21:59:27 +1000 |
| commit | 7e05dc8d2e0b4005176ccb8a52f77b11a40e17aa (patch) | |
| tree | 65d02fbdbe738a716ea1bf71850d9c443b1ff7db /doc | |
| parent | c1ce1d70146dd4b3cda76adc98bfac90da55d18c (diff) | |
Add terminal_title terminal ui_option to control the title
Use a separate option from terminal_set_title for simplicity.
Fixes #2217
Closes #4265
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/pages/options.asciidoc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/pages/options.asciidoc b/doc/pages/options.asciidoc index 761fbb47..e5cb4c38 100644 --- a/doc/pages/options.asciidoc +++ b/doc/pages/options.asciidoc @@ -348,6 +348,10 @@ are exclusively available to built-in options. if *yes* or *true*, the terminal emulator title will be changed + *terminal_title*::: + if set, the terminal title will be set to this string + else it will be derived from the modeline. + *terminal_status_on_top*::: if *yes*, or *true* the status line will be placed at the top of the terminal rather than at the bottom |