[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#20545: New minor mode Electric Punct
From: |
Eli Zaretskii |
Subject: |
bug#20545: New minor mode Electric Punct |
Date: |
Wed, 13 May 2015 20:16:23 +0300 |
> Date: Wed, 13 May 2015 09:56:12 -0700
> From: Paul Eggert <eggert@cs.ucla.edu>
> CC: 20545@debbugs.gnu.org
>
> 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.
I fear it will just be a source of confusion. FWIW, when Texinfo's
Info reader makes similar replacements, it doesn't mark them in any
way, so the user really doesn't know the characters were replaced.
- bug#20545: New minor mode Electric Punct, (continued)
- bug#20545: New minor mode Electric Punct, Eli Zaretskii, 2015/05/11
- bug#20545: New minor mode Electric Punct, Paul Eggert, 2015/05/13
- bug#20545: New minor mode Electric Punct, Stefan Monnier, 2015/05/13
- bug#20545: New minor mode Electric Punct, Paul Eggert, 2015/05/13
- bug#20545: New minor mode Electric Punct, Eli Zaretskii, 2015/05/13
- bug#20545: New minor mode Electric Punct, Stefan Monnier, 2015/05/13
- bug#20545: New minor mode Electric Punct, Eli Zaretskii, 2015/05/14
- bug#20545: New minor mode Electric Punct, Eli Zaretskii, 2015/05/13
- bug#20545: New minor mode Electric Punct, Eli Zaretskii, 2015/05/13
- bug#20545: New minor mode Electric Punct, Paul Eggert, 2015/05/13
- bug#20545: New minor mode Electric Punct,
Eli Zaretskii <=
- bug#20545: New minor mode Electric Punct, Eli Zaretskii, 2015/05/13
- bug#20545: New minor mode Electric Punct, Paul Eggert, 2015/05/14
- bug#20545: New minor mode Electric Punct, Paul Eggert, 2015/05/16
- bug#20545: New minor mode Electric Punct, Eli Zaretskii, 2015/05/17
- bug#20545: New minor mode Electric Punct, Paul Eggert, 2015/05/17
- bug#20545: New minor mode Electric Punct, Eli Zaretskii, 2015/05/17
- bug#20545: Transliterating curved to straight quotes in 8-bit environments, Paul Eggert, 2015/05/31
bug#20545: New minor mode Electric Punct, Stefan Monnier, 2015/05/11
bug#20545: New minor mode Electric Punct, Artur Malabarba, 2015/05/11