Bug 53010 Editor preferences do not take effect on open editors
I-20040224 Go to the Java > Editor > Syntax preference page. Change the keyword color to red. Press Ok. At this point, we use to see the preview update. Not on this build (problem #1). Press Ok, and close the pref dialog. The java editor that was already open did not update. I had to close it and reopen it for the colors to take effect (problem #2)
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
if (PreferenceConstants.EDITOR_DISABLE_OVERWRITE_MODE.equals(property)) {
				if (event.getNewValue() instanceof Boolean) {
					Boolean disable= (Boolean) event.getNewValue();
					configureInsertMode(OVERWRITE, !disable.booleanValue());
				}
			}
			
			if (PreferenceConstants.EDITOR_MARK_OCCURRENCES.equals(property)) {
				if (event.getNewValue() instanceof Boolean) {
					boolean markOccurrenceAnnotations= ((Boolean)event.getNewValue()).booleanValue();
					if (markOccurrenceAnnotations != fMarkOccurrenceAnnotations) {
						fMarkOccurrenceAnnotations= markOccurrenceAnnotations;
						if (!fMarkOccurrenceAnnotations)
							uninstallOccurrencesFinder();
						else
							installOccurrencesFinder();
					}
				}
			}
			if (PreferenceConstants.EDITOR_STICKY_OCCURRENCES.equals(property)) {
				if (event.getNewValue() instanceof Boolean) {
					boolean stickyOccurrenceAnnotations= ((Boolean)event.getNewValue()).booleanValue();
					if (stickyOccurrenceAnnotations != fStickyOccurrenceAnnotations) {
						fStickyOccurrenceAnnotations= stickyOccurrenceAnnotations;
					}
				}
			}
			if (COMPILER_TASK_TAGS.equals(event.getProperty()))
				adaptTaskTagDependents(event);