> just for posterity's sake, I attached the diff to this response. Thank you!
> The diff looks good to me, but maybe there are objections by somebody > more familiar with X11-signals. Criticism is requested. The patch is merely some guesswork that happened to solve a problem I experienced.
