Yes, I see now the behavior is not quite right, is it? With INITIAL-⎕PW
disabled, the ⎕PW still starts up at 80, ignoring the window width even
with WINCH-SETS-⎕PW. Somehow we would have to detect if it was set, and
use it only then, instead of always setting it.
What I found unexpected was sett
Jürgen,
It's macOS that's the problem as Mike states. I've confirmed with a small C
program that the ioctl TIOCGWINSZ has a different value on macOS than on Linux.
WINCH-SETS-⎕PW works without the patch on Linux. With Mike's first patch, it
works the same way on both platforms.
I'm a little
WINCH-SETS-⎕PW did not originally work, on macOS Sonoma 14.7.2.
Because macOS does not use the same TIOCGWINSZ magic number that was
hard-coded.
With the first patch, WINCH-SETS-⎕PW does now work on macOS.
>From my original email:
> I noticed that quad-pw wasn't changing with window resizes on mac
