[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] how to change the headline starter *
From: |
harven |
Subject: |
Re: [O] how to change the headline starter * |
Date: |
Fri, 15 Jul 2011 21:55:28 +0000 (UTC) |
User-agent: |
Loom/3.14 (http://gmane.org/) |
harven <harven <at> free.fr> writes:
>
> Achim Gratz <Stromeko <at> nexgo.de> writes:
>
> >
> > Bastien <bzg <at> altern.org> writes:
> > > If you can go through Org's code (or motivate someone to go thru the
> > > code for you) and check where the "*" is hardcoded instead of being
> > > inherited from outline-mode that would help a lot, because I'm busy
> > > with other changes I find more important right now.
> >
> > There's roughly 100 places in Org where "\\*+" is hardcoded (there may
> > be false positives and negatives)
>
> There are a lot of false positives coming from the wildcards appearing in
> regular expressions.
Sorry, I misunderstood what you were looking for. Indeed, these must also
be taken in account. And also org-indent-outline-re, I guess.
Sincerely,
--
Harven
- Re: [O] how to change the headline starter *, (continued)
- 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
- Re: [O] how to change the headline starter *, Bastien, 2011/07/18
- Re: [O] how to change the headline starter *, Memnon Anon, 2011/07/15
- Re: [O] how to change the headline starter *, Bastien, 2011/07/15
- Re: [O] how to change the headline starter *, Achim Gratz, 2011/07/15
- Re: [O] how to change the headline starter *, harven, 2011/07/15
- Re: [O] how to change the headline starter *,
harven <=
- 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 *, Bastien, 2011/07/15
- Re: [O] how to change the headline starter *, Philipp Haselwarter, 2011/07/14
- Re: [O] how to change the headline starter *, Nicolas Goaziou, 2011/07/15
- Re: [O] how to change the headline starter *, Memnon Anon, 2011/07/15
- Re: [O] how to change the headline starter *, Bastien, 2011/07/15
- Re: [O] how to change the headline starter *, Bastien, 2011/07/15
- Re: [O] how to change the headline starter *, Nicolas Goaziou, 2011/07/15
- Re: [O] how to change the headline starter *, Bastien, 2011/07/16