[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] how to change the headline starter *
From: |
Bastien |
Subject: |
Re: [O] how to change the headline starter * |
Date: |
Sat, 16 Jul 2011 12:31:41 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) |
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.
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 <=
- Re: [O] how to change the headline starter *, Carsten Dominik, 2011/07/19
- 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