On Tue, 27 Dec 2011 16:47:14 +0000, David Edmondson <dme at dme.org> wrote: > The tags were coloured using text properties. Unfortunately that text > (the header line) also has an overlay, which overrides the text > properties. There's not point in applying text properties that will > never be seen.
Pushed. d
