A clarification: when I say the bug does not occur when the laptop lid is open, I should have added the important proviso that the laptop LCD panel should be an active display in addition to the external monitor. That is, both displays must be displaying the desktop. It is not important which mode is used, i.e. whether "Same image in all monitors" is checked in the Gnome Monitor Preferences or not.
If the lid is merely open but the laptop LCD is powered off, the bug occurs.
A clarification: when I say the bug does not occur when the laptop lid is open, I should have added the important proviso that the laptop LCD panel should be an active display in addition to the external monitor. That is, both displays must be displaying the desktop. It is not important which mode is used, i.e. whether "Same image in all monitors" is checked in the Gnome Monitor Preferences or not.
If the lid is merely open but the laptop LCD is powered off, the bug occurs.