On 26 December 2016 at 20:09, Juergen Sauermann wrote: > Kacper: you can now enable change of ⎕PW via the WINCH signal. This may not > work on all platforms, therefore is has to be enabled in one of your > preferences files.
Works great, thanks. It's okay that it requires enabling, it's not something that should be on by default. -k
