Project: JDT
Bug 98542 [preferences] missing node ids for new preference pages
Reported: 2005-06-06 12:18:22 | Status: verified fixed

N20050606 preference page set opened from the java editor's context menu> preferences does not yet include the additional preference pages added during 3.1

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java