[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#20545: New minor mode Electric Punct

From: Paul Eggert
Subject: bug#20545: New minor mode Electric Punct
Date: Wed, 13 May 2015 00:33:29 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.6.0

Stefan Monnier wrote:
How does it interact with electric-pair-mode?

Err, it doesn't.  Thanks.  I'll look into that.

Your comment prompted me to find related issues with the patch I proposed in Bug#20385, and I just now sent in a revised version of that patch, here:


reply via email to

[Prev in Thread] Current Thread [Next in Thread]