From 7e05dc8d2e0b4005176ccb8a52f77b11a40e17aa Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Sun, 8 Sep 2024 21:53:49 +1000 Subject: Add terminal_title terminal ui_option to control the title Use a separate option from terminal_set_title for simplicity. Fixes #2217 Closes #4265 --- doc/pages/options.asciidoc | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'doc') 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 -- cgit v1.2.3