[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: text-quoting-style
From: |
David Kastrup |
Subject: |
Re: text-quoting-style |
Date: |
Tue, 01 Sep 2015 15:46:49 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
Paul Eggert <address@hidden> writes:
> On 08/31/2015 01:13 PM, Alan Mackenzie wrote:
>> On Sun, Aug 30, 2015 at 11:29:27PM -0700, Paul Eggert wrote:
>>> (1) is fixed by using display tables to display curved quotes in grave
>>> style.
>>> (This has already been implemented and no change should be needed here.)
>> No good. Having different characters displayed from what's in the
>> buffer is a recipe for confusion, frustration, and anger.
>
> It's what Emacs does now, and it works well enough. And the basic
> idea isn't a new principle: Emacs has done it for decades for many
> ASCII characters, e.g., HT. So it is not a problem in practice.
HT works fine for copy&paste&search&replace. But characters like ’ and
‘ don't magically turn back into ' and ` if you try pasting them into
some source code or want to search for them. If we were talking about
display table hacks and/or the display text property, this might become
the case.
But at the current point of time, the conversion of ` and ' into ‘ and ’
is much more sticky than the expansion of tabs to spaces which is a mere
display feature.
Reaching a technical consensus is not feasible as long as people keep
twisting the facts since obviously people with a different desired
outcome will twist them into different directions.
--
David Kastrup
- Re: text-quoting-style, (continued)
- Re: text-quoting-style, Stefan Monnier, 2015/09/01
- Re: text-quoting-style, Bastien, 2015/09/01
- Re: text-quoting-style, Paul Eggert, 2015/09/01
- Re: text-quoting-style, David Kastrup, 2015/09/01
- Re: text-quoting-style, Paul Eggert, 2015/09/01
- Re: text-quoting-style, David Kastrup, 2015/09/01
- Re: text-quoting-style, Bastien, 2015/09/02
- Re: text-quoting-style, Paul Eggert, 2015/09/02
- Re: text-quoting-style, Dmitry Gutov, 2015/09/02
- Re: text-quoting-style, Bastien Guerry, 2015/09/02
Re: text-quoting-style,
David Kastrup <=
- Re: text-quoting-style, Paul Eggert, 2015/09/01
- Re: text-quoting-style, David Kastrup, 2015/09/01
- Re: text-quoting-style, Paul Eggert, 2015/09/01
- Re: text-quoting-style, David Kastrup, 2015/09/01
- Re: text-quoting-style, Paul Eggert, 2015/09/01
- Re: text-quoting-style, David Kastrup, 2015/09/01
Re: text-quoting-style, Richard Stallman, 2015/09/02
Re: text-quoting-style, Richard Stallman, 2015/09/01
Re: text-quoting-style, N. Jackson, 2015/09/02