On Fri, Jan 04, 2002 at 03:20:55AM -0500, Ken Wahl wrote:
> On Thu, Jan 03, 2002 at 10:06:49AM -0800, Gary Johnson wrote:
> > How about
> > 
> >     set display_filter=demoroniser
> > 
> > instead?  Then you can still use mutt's built-in pager and have the
> > headers weeded.
> > 
> > You need to install a patch to get the display_filter for 1.2.5.  I
> > don't know about the 1.3.x series.
> 
> I just tried your suggestion with 1.3.25i and it led to some funky
> terminal refresh problems.  I can, however, pipe a message through
> demoroniser manually without problems using the pipe "|" command.

I received e-mail earlier from Michael Sanders who reported that it
worked fine for him.  He is using 1.3.22.1i.

> I was unable to find a display_filter patch on the mutt ftp server.

I got the patch for 1.2 from either the mutt-users or mutt-dev list when
it was first created.  As I said, I know nothing about the 1.3.x series,
so perhaps Michael can tell you what he did.

I realize that this reply hasn't been very helpful, but I didn't want
to ignore you--I just don't have the answers.

Gary

-- 
Gary Johnson                               | Agilent Technologies
[EMAIL PROTECTED]                   | Spokane, Washington, USA
http://www.spocom.com/users/gjohnson/mutt/ |

Reply via email to