[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Orgmode] org-skip-comments should do case-sensitive match?
From: |
William Henney |
Subject: |
[Orgmode] org-skip-comments should do case-sensitive match? |
Date: |
Mon, 9 Apr 2007 08:28:30 -0500 |
Hi list
First of all, thanks to Carsten for a great piece of software. I'm not
sure it actually makes me more efficient, but it's certainly a lot of
fun... I've been happily using org 4.53 since November, slowly
accumulating a list of minor bugs and feature requests. I finally
thought I'd better report them to the list, so I installed the latest
version (4.70) and found that nearly all of them had been fixed!
Here is one that hasn't.
I think that it would be better if org-skip-comments were to
temporarily set case-fold-search to nil before doing the string-match
in line 16870 of org.el. I have been caught out by this twice now - I
have made a heading named something like "Comments on the draft paper"
and then been puzzled when neither it nor its children gets exported.
I realise that this can be worked around by adding some unlikely
characters to org-comment-string, but that seems a bit of an ugly
hack.
Cheers
Will
P.S. [OT] I love reftex mode too - has this gone into maintenance mode
because you regard it as feature complete?
--
Dr William Henney, Centro de Radioastronomía y Astrofísica,
Universidad Nacional Autónoma de México, Campus Morelia
- [Orgmode] org-skip-comments should do case-sensitive match?,
William Henney <=