Pavel Sanda wrote:
hi,
1. open new document.
2. keep one key pressed until the whole page is filled
by the given char and next page is scrolled.
3. try to select block of text via shift+up arrow
4. the whole text except the last line of paragraph disappears.
anybodu can confirm ?
Confirmed on linux. (The text is not lost, merely overpainted by
the selection color.) The selection color _sometimes_ overpaints
the margins, probably to indicate how selection spans page breaks.
Perhaps this goes wrong and blanks out a big chunk. I see
lots of sproadic selection mispainting while scroll-selecting
with the mouse.
Helge Hafting
