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