Subject: Re: bug#20260: 24.4.1; Triple-clicking selects and deselects the line in weird situations
From: Stefan Monnier <[email-masked]>
To: Vasilij Schneidermann <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Mon, 13 Apr 2015 10:18:02 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

>> The patch does indeed fix the test case for me, but the real use case
>> stays unchanged.

Since it fixes Jorgen's test case I installed the patch into master, and
I'm closing this bug.

> Hmm... Can you provide another recipe that still isn't fixed with the patch?

If/when you find another recipe to reproduce your problem, just make
a new bug report (or re-open this one).

Thank you,

        Stefan