*** TWiki.pm.orig	Sat Feb  1 16:55:21 2003
--- TWiki.pm	Thu Feb  6 18:38:59 2003
***************
*** 1587,1593 ****
              &TWiki::Store::readWebTopic( $web, $topicname ), $topicname, $web ) );
      }
  
!     @list = grep { /(<\/?pre>)|($headerPatternDa)|($headerPatternSp)|($headerPatternHt)/i } @list;
      my $insidePre = 0;
      my $i = 0;
      my $tabs = "";
--- 1587,1593 ----
              &TWiki::Store::readWebTopic( $web, $topicname ), $topicname, $web ) );
      }
  
!     @list = grep { /(<\/?pre>)|($headerPatternDa)|($headerPatternSp)|($headerPatternHt)/ } @list;
      my $insidePre = 0;
      my $i = 0;
      my $tabs = "";