Subject: Re: bug#31240: 26.1; mouse-save-then-kill does not kill rectangles
From: martin rudalics <[email-masked]>
To: Federico Tedin <[email-masked]>
Cc: [email-masked]
Date: Fri, 19 Oct 2018 09:40:57 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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

By replying to [email-masked] 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