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

[martin rudalics]

>> Please close bug#31240 if nothing else remains to be done.
>
> Is this something I should do? (If so, how?)

By replying to 31240-done@debbugs.gnu.org as I'm trying to do right
now.

BTW, did you look into Stefan's pretensions?  In particular his remark

    BTW, your "width" is computed AFAICT as

        (- (overlay-end (car mouse-drag-and-drop-overlays))
           (overlay-start (car mouse-drag-and-drop-overlays)))

    which is a char-distance and not a column-distance (big difference in
    the presence of TABs and double-width chars).

sounds worthy of examination.

martin