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.