Project: JDT
Bug 231757 [implementation] NPE in JavaEditor.handlePreferenceStoreChanged at startup
Reported: 2008-05-13 04:40:19 | Status: verified fixed


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