I just experienced the following:

I deleted the docs folder that was set as a documentation folder for 
my JDK 1.3.1.

My project showed the folder as missing (red), removal of the folder 
was disabled. In the JDK settings the folder was NOT shown, i.e. I 
couldn't remove it there.

The config/jdk.table.xml-file still contained the entry.

I think the JDK settings dialog should also show the folder as missing.

Regards, Marc Wirth



_______________________________________________
Eap-list mailing list
[EMAIL PROTECTED]
http://www.intellij.com/mailman/listinfo/eap-list

Reply via email to