|
From: | Paul Eggert |
Subject: | Re: Electric punctuation mode |
Date: | Tue, 2 Feb 2016 18:39:00 -0800 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.0 |
On 02/02/2016 08:37 AM, Michal Nazarewicz wrote:
It’s actually a superset of electric-quote-mode so perhaps it would make sense to have it merged and implement electric-quote-mode as special case of electric-punct-mode?
Yes, this sounds like a good idea. Thanks for working on this.
[Prev in Thread] | Current Thread | [Next in Thread] |