[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#65896: 30.0.50; folding text with text properties prevents backgroun
From: |
Ihor Radchenko |
Subject: |
bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline |
Date: |
Tue, 26 Sep 2023 08:18:50 +0000 |
Eli Zaretskii <eliz@gnu.org> writes:
>> > (overlay-put o ’display “\n”))))
>>
>> This has a potential to break a number of things, because the text under
>> the fold will no longer be considered invisible.
>>
>> Also, ellipsis will not be obeyed.
>
> But the idea to use a display string which is "\n" could still be
> useful, to help with the problem you pointed out in response to my
> previous suggestion, no?
As a workaround, maybe. However, the amount of code changes to support
folding/unfolding not only of invisible text, but also extra 'display
overlays will not be worth it just to address this issue.
--
Ihor Radchenko // yantar92,
Org mode contributor,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,
or support my work at <https://liberapay.com/yantar92>
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, (continued)
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Ihor Radchenko, 2023/09/23
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, StrawberryTea, 2023/09/23
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Eli Zaretskii, 2023/09/23
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, StrawberryTea, 2023/09/23
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Eli Zaretskii, 2023/09/24
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, StrawberryTea, 2023/09/24
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Ihor Radchenko, 2023/09/24
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Eli Zaretskii, 2023/09/24
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, StrawberryTea, 2023/09/24
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Eli Zaretskii, 2023/09/25
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline,
Ihor Radchenko <=
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Eli Zaretskii, 2023/09/29
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Eli Zaretskii, 2023/09/21
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Kévin Le Gouguec, 2023/09/21
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Juri Linkov, 2023/09/22
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Eli Zaretskii, 2023/09/22
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Kévin Le Gouguec, 2023/09/29
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Juri Linkov, 2023/09/29
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, StrawberryTea, 2023/09/29
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, Eli Zaretskii, 2023/09/30
- bug#65896: 30.0.50; folding text with text properties prevents background from extending past the newline, StrawberryTea, 2023/09/30