On Fri, 09 Sep 2016 21:00:41 +0100, Doctor John wrote:
> It's very simple. Press 'K' when on any thread you want to ignore. Why> you'd want to do that though ....
Ah, yes, I remember that now. :) Interesting/good to see that it hasn't
changed.
--
"I learned long ago, never to wrestle with a pig. You get dirty, and
besides, the pig likes it." - George Bernard Shaw
