- From: Reitzel, Charlie <CReitzel@arrakisplanet.com>
- Date: Mon, 6 Aug 2001 12:47:20 -0400
- To: "'Jae Youn Kim'" <jaeyounk@hotmail.com>, html-tidy@w3.org
This bug is fixed in the current source base. A release is planned Real Soon Now. But until then, you can retrieve this source from CVS. For info, go to http://sourceforge.net/projects/tidy and follow the link to the CVS repository. take it easy, Charlie -----Original Message----- From: Jae Youn Kim [mailto:jaeyounk@hotmail.com] Sent: Monday, August 06, 2001 10:17 AM To: html-tidy@w3.org Subject: Tidy Bug Report: A wrong space is inserted Hi, thanks for Tidy source first. Here is a bug that I met. <font> </font> is containing <hr> tag, so Tidy made a correction. But a wrong space is inserted. Refer to the HTML source below. This bug is critical for DBCS char like Korean. Could you send me a hot fix or how to fix it for this? ==================== INPUT SOURCE ==================== <html> <body> <font face="Arial" size="3"> ABC <hr> TEST </font> </body> </html> ==================== OUTPUT RESULT ==================== E:\>tidy sample.htm Tidy (vers 4th August 2000) Parsing "sample.htm" line 2 column 1 - Warning: inserting missing 'title' element line 6 column 2 - Warning: missing </font> before <hr> line 7 column 1 - Warning: inserting implicit <font> sample.htm: Document content looks like HTML 3.2 3 warnings/errors were found! <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN"> <html> <head> <meta name="generator" content="HTML Tidy, see www.w3.org"> <title></title> </head> <body> <font face="Arial" size="3">ABC</font> <hr> <font face="Arial" size="3">T EST</font> </body> </html> You are recommended to use CSS to specify the font and properties such as its size and color. This will reduce the size of HTML files and make them easier maintain compared with using <FONT> elements. HTML & CSS specifications are available from http://www.w3.org/ To learn more about Tidy see http://www.w3.org/People/Raggett/tidy/ Please send bug reports to Dave Raggett care of <html-tidy@w3.org> Lobby your company to join W3C, see http://www.w3.org/Consortium
Received on Monday, 6 August 2001 12:47:06 UTC