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 /src/terminal_ui.hh | |
| 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 'src/terminal_ui.hh')
| -rw-r--r-- | src/terminal_ui.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/terminal_ui.hh b/src/terminal_ui.hh index 64e3bfcf..02085532 100644 --- a/src/terminal_ui.hh +++ b/src/terminal_ui.hh @@ -153,6 +153,7 @@ private: int m_shift_function_key = default_shift_function_key; bool m_set_title = true; + Optional<String> m_title; struct Synchronized { |