… | |
… | |
2602 | // some window managers resize the window early, and these programs |
2602 | // some window managers resize the window early, and these programs |
2603 | // then sometimes get the size wrong. |
2603 | // then sometimes get the size wrong. |
2604 | // unfortunately other programs are even more buggy and dislike |
2604 | // unfortunately other programs are even more buggy and dislike |
2605 | // being sent SIGWINCH, so only do it when we were in fact being |
2605 | // being sent SIGWINCH, so only do it when we were in fact being |
2606 | // resized. |
2606 | // resized. |
2607 | if (seen_resize) |
2607 | if (seen_resize && cmd_pid) |
2608 | kill (-cmd_pid, SIGWINCH); |
2608 | kill (-cmd_pid, SIGWINCH); |
2609 | } |
2609 | } |
2610 | |
2610 | |
2611 | /* Read a text string from the input buffer */ |
2611 | /* Read a text string from the input buffer */ |
2612 | unicode_t buf[UBUFSIZ]; |
2612 | unicode_t buf[UBUFSIZ]; |