Christian Duerr ead8d68c69 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.		2020-03-14 15:09:10 +00:00
..
config
grid
term
tty
ansi.rs
clipboard.rs
event.rs
event_loop.rs
index.rs
lib.rs
locale.rs
message_bar.rs
meter.rs
panic.rs
selection.rs
sync.rs
util.rs