--- highlight-file.xml 21 Jun 2003 10:28:05 -0000 1.7 +++ highlight-file.xml 2 Dec 2003 13:47:46 -0000 @@ -105,7 +105,7 @@