| … | |
… | |
| 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]; |
