Subject: Re: bug#38013: [PATCH] Rectangular region selection with mouse

From: Mattias Engdegård <[email-masked]>
Date: Thu, 14 Nov 2019 14:56:34 +0100

Slightly polished patch, where the variable is now 'fine-grained-mouse-movement' which seems more generally useful. Please review.