Hacker News new | ask | show | jobs
by wnoise 3866 days ago
WINCH comes from the terminal driver, not from the "window manager".