[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name
From: |
Eli Zaretskii |
Subject: |
bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name |
Date: |
Sun, 16 Apr 2023 18:17:35 +0300 |
> From: Ihor Radchenko <yantar92@posteo.net>
> Cc: mattiase@acm.org, monnier@iro.umontreal.ca, gusbrs.2016@gmail.com,
> 62847@debbugs.gnu.org
> Date: Sun, 16 Apr 2023 14:52:02 +0000
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> You mean the char vector representing a string? But doesn't the real
> >> string object also include the plist?
> >
> > It includes a pointer to the string's intervals, which is where the
> > properties are recorded.
>
> That's internal implementation detail.
> >From Elisp perspective, string vector + string plist constitute string
> object. Or do I miss something?
I don't necessarily agree. We have equal-including-properties for a
reason.
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, (continued)
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Ihor Radchenko, 2023/04/15
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Eli Zaretskii, 2023/04/15
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Mattias Engdegård, 2023/04/15
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Ihor Radchenko, 2023/04/16
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Mattias Engdegård, 2023/04/16
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Ihor Radchenko, 2023/04/16
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Eli Zaretskii, 2023/04/16
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Ihor Radchenko, 2023/04/16
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Eli Zaretskii, 2023/04/16
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Ihor Radchenko, 2023/04/16
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name,
Eli Zaretskii <=
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Mattias Engdegård, 2023/04/16
- bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Mattias Engdegård, 2023/04/16
bug#62847: 29.0.90; Propertized space in Org Agenda's mode-name, Daniel Mendler, 2023/04/16