Synopsis: pager line sometimes not reset **** Comment added by cb on Wed, 14 Mar 2007 16:04:33 +0100 **** This is the same as #2807.