GNU bug report logs -
#17507
Documentation for `add-text-property' and relatives
Previous Next
Reported by: Eli Barzilay <eli <at> barzilay.org>
Date: Fri, 16 May 2014 06:26:02 UTC
Severity: wishlist
Tags: notabug
Done: Lars Ingebrigtsen <larsi <at> gnus.org>
Bug is archived. No further changes may be made.
Full log
Message #36 received at 17507 <at> debbugs.gnu.org (full text, mbox):
> From: Eli Barzilay <eli <at> barzilay.org>
> Date: Sat, 17 Aug 2019 02:49:54 +0300
> Cc: Lars Ingebrigtsen <larsi <at> gnus.org>, 17507 <at> debbugs.gnu.org
>
> To clarify what I said, it sounds like a string is a tuple of the
> actual string *and* its properties, so it's always #("xyz" ...) where
> the quotes denote the raw string contents, except that when there's no
> properties, then you see just the "xyz" part -- but that's *not* a raw
> string, it just doesn't show the (empty) properties.
That's not what the printed representation is trying to convey. It is
simply trying to show you the properties, because that's useful in
many situations.
> Yet another way to show this is the fact that if you evaluate
> #("xyz"), the result is *displayed* as "xyz".
>
> Maybe adding some note to that effect (perhaps rephrased, to point at
> the fact that all strings have properties, there are no raw strings)
> would have resolved my original confusion.
I really don't see how this is related to what you originally wrote,
sorry. Also, "all strings have properties" would be misleading
because most strings have no properties.
Can we please return to the original issue, which was the
documentation of add-text-property? I don't see how the printed
representation of a Lisp string is relevant to the documentation of
that function (and similar functions that modify text properties of
strings). Maybe that's what I'm missing, in which case please help me
connect the dots.
Thanks.
This bug report was last modified 5 years and 283 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.