[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: enriched-mode and switching major modes.
From: |
Richard Stallman |
Subject: |
Re: enriched-mode and switching major modes. |
Date: |
Sat, 25 Sep 2004 11:34:37 -0400 |
1 - it does not preserve the identity: the text-propeties belong to
characters, not to some external object.
I already explained why I made that change.
I think the semantics of `duplicable' extents is clear when the ducplicated
text includes the whole extent, the problems only come up when trying to
duplicate part of the text of an extent.
Yes, that's right.
Since the required behavior
depends on the extent, we can't handle it automatically, and I just the
`duplicate' property should thus be a function which will handle those
"corner" cases.
You're just moving the unsolved problem inside the `duplicate'
property. Nobody has ever proposed a good solution to this that I
have seen, so I think none exists. If you can present one, that
will change my mind. However, I will not agree to simply sweep
the problem under a hook and presume someone will solve it later.
- Re: enriched-mode and switching major modes., (continued)
- Re: enriched-mode and switching major modes., Stefan Monnier, 2004/09/22
- Re: enriched-mode and switching major modes., Luc Teirlinck, 2004/09/22
- Re: enriched-mode and switching major modes., Richard Stallman, 2004/09/23
- Re: enriched-mode and switching major modes., David Kastrup, 2004/09/23
- Re: enriched-mode and switching major modes., Richard Stallman, 2004/09/23
- Re: enriched-mode and switching major modes., Stefan, 2004/09/23
- Re: enriched-mode and switching major modes., David Kastrup, 2004/09/23
- Re: enriched-mode and switching major modes., Oliver Scholz, 2004/09/23
- Re: enriched-mode and switching major modes., Richard Stallman, 2004/09/24
- Re: enriched-mode and switching major modes., Stefan, 2004/09/24
- Re: enriched-mode and switching major modes.,
Richard Stallman <=
- Re: enriched-mode and switching major modes., Eli Zaretskii, 2004/09/24
- Re: enriched-mode and switching major modes., Oliver Scholz, 2004/09/24
- Re: enriched-mode and switching major modes., Oliver Scholz, 2004/09/24
- Re: enriched-mode and switching major modes., Alex Schroeder, 2004/09/24
- Re: enriched-mode and switching major modes., Oliver Scholz, 2004/09/24
- Re: enriched-mode and switching major modes., Eli Zaretskii, 2004/09/25
- Re: enriched-mode and switching major modes., Oliver Scholz, 2004/09/22
- Re: enriched-mode and switching major modes., Richard Stallman, 2004/09/22
- Re: enriched-mode and switching major modes., Richard Stallman, 2004/09/19
- Re: enriched-mode and switching major modes., Kim F. Storm, 2004/09/18