On Fri, Feb 08, 2013 at 05:19:53PM +0100, Marco wrote:
> On 2013–02–08 Suvayu Ali wrote:
> 
> > I use a combination of ignore and unignore to choose which headers I see
> 
> Ignore and unignore control the headers displayed in the pager and
> not the ones shown in the editor, if I'm not mistaken. Does this
> work for you?
> 

Since it works for me, I believe they are the one and the same.  :)

Cheers,

-- 
Suvayu

Open source is the future. It sets us free.

Reply via email to