|
From: | Paul Eggert |
Subject: | bug#20545: New minor mode Electric Punct |
Date: | Wed, 13 May 2015 09:56:12 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.6.0 |
Eli Zaretskii wrote:
do we really need the underscores? What would be their purpose?
To tell the user that the characters are not really "`" and "'", but are something else. It's the same reason we underline the "\u2018" and the "\u2019".
[Prev in Thread] | Current Thread | [Next in Thread] |