diff options
| author | Christian Duerr <contact@christianduerr.com> | 2020-03-14 15:09:10 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-14 15:09:10 +0000 |
| commit | ead8d68c69914c2d391165da43ffd8bb0e35a9a5 (patch) | |
| tree | c635f2c6bee4af07eb000edceb81d7f6f8f770bc /extra/alacritty.man | |
| parent | d20051b5e5a8ee3c8dcd75a87d375ac7611a9d2d (diff) | |
Fix live config reload for window title
This enables live config reload for the window title. This includes
updating the title after it has been pushed and popped from the title
stack.
The dynamic title option also isn't disabled automatically anymore when
the title is set in the config. If the title is set from CLI, the
behavior is unchanged and dynamic title changes are still disabled.
If the dynamic title is disabled in the config, the title is still
updated when the config title is changed. Dynamic title now only
prevents changes to the UI's title.
Diffstat (limited to 'extra/alacritty.man')
0 files changed, 0 insertions, 0 deletions