bug#31240: 26.1; mouse-save-then-kill does not kill rectangles

[martin rudalics]

> I agree that option B) seems better. Should I implement it now. or
> would it be better to wait for other opinions?

Let's wait.

> I started re-indenting some lines to see if I could make them fit in 80 
columns,
> but then I realized the results were exactly the same as yours. I just ended 
up
> moving the comment instead:

OK.  If there are no further objections I'll install that.

Thanks, martin