On Mon, Jan 07, 2002 at 21:44:05 -0800, Gary Johnson wrote: > There is no built-in way to hide the "[-- ... --]" stuff, but I got > tired of looking at it, especially surrounding the frequent HTML > messages I receive and around people's PGP signatures, so I added this > to my folder-hooks for mailing lists: > > folder-hook +Incoming/. 'set display_filter="sed '\''/^\\[-- .* --]$/d'\''"'
But this will remove too much. And using sed would probably slow down the display. -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> - 100% validated HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des Jeux Mathématiques et Logiques, TETRHEX, etc. Work: CR INRIA - computer arithmetic / SPACES project at LORIA
