Selection not redrawn after minimise

[Darren Freeman]

Dear list,

when you have an active text selection and play with the window, in
particular minimise/restore, it isn't redrawn although it's still there.

Have fun,
Darren