[ jEdit-devel ] [Bug #130998] Tidy, "Write back files with tidied content" doesn't work

[<no...@so...>]

Bug #130998, was updated on 2001-Feb-04 02:31
Here is a current snapshot of the bug.

Project: jEdit
Category: plugins
Status: Open
Resolution: None
Bug Group: normal bug
Priority: 5
Submitted by: ridesmet
Assigned to : nobody
Summary: Tidy, "Write back files with tidied content" doesn't work

Details: The option "Write back files with tidied content" in HTML Tidy
doesn't work. Tidying files does only work when this option is disabled.

Ringo

For detailed info, follow this link:
http://sourceforge.net/bugs/?func=detailbug&bug_id=130998&group_id=588