diff options
-rw-r--r-- | basta.sh | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -67,7 +67,8 @@ basta.update_status() basta.query_termios_lines_cols tio_lines tio_cols - [ $LINES -eq $basta_old_lines -a \ + [ "$1" != WINCH -a \ + $LINES -eq $basta_old_lines -a \ $COLUMNS -eq $basta_old_cols -a \ $LINES -eq $tio_lines -a \ $COLUMNS -eq $tio_cols ] || basta.prepare_term @@ -151,7 +152,8 @@ basta.alarm_timer() basta.install_hooks() { - trap 'basta.update_status "$_"' ALRM WINCH + trap 'basta.update_status ALRM "$_"' ALRM + trap 'basta.update_status WINCH "$_"' WINCH trap basta.cleanup EXIT PROMPT_COMMAND='basta.initial_prompt_hook' } |