Dear list, I have an ERT as the first thing in my document. It is unfolded.
Scroll down (with the wheel if that matters) and scroll back up to make it visible again. The box with ERT written in it is there, with what looks like half a line of text next to it (half as in the bottom halves of the characters). The red box with the \pagestyle{empty} is not drawn below the ERT box where it was just before scrolling. The text has moved up the screen to compensate. This appears to be nonlethal in that you can fold up the ERT and unfold again to fix the display. Weird, so very very weird. Have fun, Darren