version 1.19, 2019/06/28 13:35:01 |
version 1.20, 2019/09/04 09:19:39 |
|
|
/* |
/* |
* Since we were ignoring window change signals while we executed |
* Since we were ignoring window change signals while we executed |
* the system command, we must assume the window changed. |
* the system command, we must assume the window changed. |
* Warning: this leaves a signal pending (in "sigs"), |
* Warning: this leaves a signal pending (in "signal_winch"), |
* so psignals() should be called soon after lsystem(). |
* so psignals() should be called soon after lsystem(). |
*/ |
*/ |
sigwinch(0); |
sigwinch(0); |