Project: JDT
Bug 40300 Compiler pref page does not disable unavailable preferences [build path]
Reported: 2003-07-17 06:16:03 | Status: verified fixed

I20030716 + plug-in export If I set a parent preference to ignore I'd expect that sub-properties get disabled.

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/CompilerConfigurationBlock.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/OptionsConfigurationBlock.java