theboyduck - 9:17 pm on Jul 23, 2002 (gmt 0)
I'm an HTML tidy fan too - well sort of. I actually use JTidy which is a Java port of the original HTML tidy. I tend to use it as a plugin with jedit. The great thing about this is that because jedit is cross-platform you can use the same familiar editor for all your coding on Windows, Linux, Mac, etc..