[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] Enriched/Org is a colorful Org
From: |
Sean O'Halpin |
Subject: |
Re: [O] Enriched/Org is a colorful Org |
Date: |
Sat, 13 Apr 2013 13:24:13 +0100 |
In your opinion, would it be possible to reproduce the functionality
of outline-mode using text properties rather than overlays? And in the
case of org-mode, would this really make that much of a difference in
terms of performance?
Regards,
Sean
On Fri, Apr 12, 2013 at 1:36 PM, Eli Zaretskii <address@hidden> wrote:
>> From: Carsten Dominik <address@hidden>
>> Date: Fri, 12 Apr 2013 12:56:11 +0200
>> Cc: address@hidden
>>
>> I guess outline mode does have the exact same problem in this case, in
>> fact any mode with large amount of hidden text.
>
> Of course. The only difference is that outline is not as popular as
> Org, and usually is used with relatively short chunks of text. But
> the problems are exactly the same.
>
- Re: [O] Enriched/Org is a colorful Org, (continued)
- Re: [O] Enriched/Org is a colorful Org, Eli Zaretskii, 2013/04/12
- Re: [O] Enriched/Org is a colorful Org, Carsten Dominik, 2013/04/12
- Re: [O] Enriched/Org is a colorful Org, Eli Zaretskii, 2013/04/12
- Re: [O] Enriched/Org is a colorful Org, Carsten Dominik, 2013/04/12
- Re: [O] Enriched/Org is a colorful Org, Torsten Wagner, 2013/04/12
- Re: [O] Enriched/Org is a colorful Org, Eli Zaretskii, 2013/04/12
- Re: [O] Enriched/Org is a colorful Org, Suvayu Ali, 2013/04/12
- Re: [O] Enriched/Org is a colorful Org, Eli Zaretskii, 2013/04/12
- Re: [O] Enriched/Org is a colorful Org, Suvayu Ali, 2013/04/13
- Re: [O] Enriched/Org is a colorful Org, Eli Zaretskii, 2013/04/12
- Re: [O] Enriched/Org is a colorful Org,
Sean O'Halpin <=
- Re: [O] Enriched/Org is a colorful Org, Jambunathan K, 2013/04/13
- Re: [O] Enriched/Org is a colorful Org, Eli Zaretskii, 2013/04/13
- Re: [O] Enriched/Org is a colorful Org, Bastien, 2013/04/12
- Re: [O] Enriched/Org is a colorful Org, François Pinard, 2013/04/12
- Re: [O] Enriched/Org is a colorful Org, Samuel Wales, 2013/04/18
- Re: [O] Enriched/Org is a colorful Org, Eli Zaretskii, 2013/04/11
- Re: [O] Enriched/Org is a colorful Org, Carsten Dominik, 2013/04/11
Re: [O] Enriched/Org is a colorful Org, Jambunathan K, 2013/04/10