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

From: martin rudalics <[email-masked]>
Date: Mon, 15 Oct 2018 09:56:15 +0200

> 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