That sounds like window manager needs to be added to the list of things that can screw up the history buffer.
That sounds like window manager needs to be added to the list of things that can screw up the history buffer.