[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] how to change the headline starter *
From: |
Carsten Dominik |
Subject: |
Re: [O] how to change the headline starter * |
Date: |
Tue, 19 Jul 2011 07:16:26 +0200 |
On 16.7.2011, at 12:31, Bastien wrote:
> Hi Carsten,
>
> Carsten Dominik <address@hidden> writes:
>
>> Org-mocde has many syntax elements using many characters, and
>> any modification of the headline character would likely
>> lead to conflicts in other areas. So I do not recommend
>> even trying to change this. Outline-mode is a general mode
>> to do outlining and can change this. Org-mode is a specific
>> file format.
>
> This confirms my intuition that the "*" should be hardcoded.
One argument against hardcoding would be that you can use org-cycle
in other modes, with outline-minor-mode, and I think a number of people
make use of this.
Of cause, if indeed an interesting speed bump can be achieved, we
can provide a stand-alone org-cycle, maybe even integrate it into
outline-mode itself.
- Carsten
>
> I will work on a patch to this effect and submit it to the list,
> I even expect there will be some performance boost.
>
> Thanks for your input!
>
> --
> Bastien
- Re: [O] how to change the headline starter *, Bastien, 2011/07/02
- Re: [O] how to change the headline starter *, harven, 2011/07/14
- Re: [O] how to change the headline starter *, Bastien, 2011/07/14
- Re: [O] how to change the headline starter *, harven, 2011/07/14
- Re: [O] how to change the headline starter *, Nick Dokos, 2011/07/14
- Re: [O] how to change the headline starter *, Carsten Dominik, 2011/07/15
- Re: [O] how to change the headline starter *, harven, 2011/07/16
- Re: [O] how to change the headline starter *, Bastien, 2011/07/16
- Re: [O] how to change the headline starter *, Bastien, 2011/07/16
- Re: [O] how to change the headline starter *,
Carsten Dominik <=
- Re: [O] how to change the headline starter *, Bastien, 2011/07/25
- Re: [O] how to change the headline starter *, Pieter Praet, 2011/07/14
- Re: [O] how to change the headline starter *, Philipp Haselwarter, 2011/07/15
- Re: [O] how to change the headline starter *, Jambunathan K, 2011/07/15
- Re: [O] how to change the headline starter *, Pieter Praet, 2011/07/16
- Re: [O] how to change the headline starter *, Aankhen, 2011/07/17
- Re: [O] how to change the headline starter *, Christian Moe, 2011/07/17
- Re: [O] how to change the headline starter *, Marcus Klemm, 2011/07/17
- Re: [O] how to change the headline starter *, Bastien, 2011/07/17
- Re: [O] how to change the headline starter *, Achim Gratz, 2011/07/17