Further information: The problem seemed to correct itself, immediately after filing the ticket. Not even a window movement or closing of a terminal window (in which I was typing the bug report); and the problem seemed to be gone.
-- Carl Soderstrom Systems Administrator Real-Time Enterprises www.real-time.com
