In Javadoc configuration window when I enter a
backslash (\) in "Source files path list" entry of Paths
section, or in "Destination directory" of Directories
section (for example to escape ":" character in a
windows path) all is right, but next time i want to use
javadoc plugin the backslash is duplicated.
Each time i open javadoc plugin configuration window
the number of backslash grows up, and jEdit slow down.
Currently my jdoc.settings file have a size of 4MB with
two very long lines:
I am using the last versions of jEdit and javadoc plugin.
|Submitted||rralonso - 2003-06-06 - 10:35:59z||Assigned||nobody|