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/command_manager.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/command_manager.hh')
0 files changed, 0 insertions, 0 deletions