removing the window title when quitting

This commit is contained in:
nadrad 2023-02-07 20:21:56 +01:00
parent 80fb6a66ab
commit 3430d33aeb

5
h-m-m
View file

@ -315,6 +315,7 @@ function shutdown()
."\033[?25h" // enabling the text cursor ."\033[?25h" // enabling the text cursor
; ;
system("stty sane"); system("stty sane");
change_window_title('');
exit; exit;
} }
@ -3008,11 +3009,11 @@ function monitor_key_presses(&$mm)
} }
// }}} // }}}
// {{{ main // {{{ change window title
function change_window_title($title) function change_window_title($title)
{ {
echo "\033]2;h-m-m -- ".str_replace('.hmm','',basename($title))."\007"; echo "\033]2;".( $title == '' ? ' ' : 'h-m-m -- '.str_replace('.hmm','',basename($title)) )."\007";
} }