use std::io::Write;
pub fn set_terminal_title(title: &str) {
print!("\x1b]0;{}\x07", title);
}
pub fn set_terminal_title_and_flush(title: &str) {
set_terminal_title(title);
std::io::stdout().flush().expect("Failed to flush stdout when setting terminal title - this indicates a terminal or I/O issue");
}