| … | |
… | |
| 827 | ws.ws_xpixel = width; |
827 | ws.ws_xpixel = width; |
| 828 | ws.ws_ypixel = height; |
828 | ws.ws_ypixel = height; |
| 829 | (void)ioctl (pty->pty, TIOCSWINSZ, &ws); |
829 | (void)ioctl (pty->pty, TIOCSWINSZ, &ws); |
| 830 | |
830 | |
| 831 | #if 0 |
831 | #if 0 |
| 832 | // TIOCSWINSZ⎈ is supposed to do this automatically and correctly |
832 | // TIOCSWINSZ is supposed to do this automatically and correctly |
| 833 | if (cmd_pid) /* force through to the command */ |
833 | if (cmd_pid) /* force through to the command */ |
| 834 | kill (-cmd_pid, SIGWINCH); |
834 | kill (-cmd_pid, SIGWINCH); |
| 835 | #endif |
835 | #endif |
| 836 | } |
836 | } |
| 837 | |
837 | |
