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
/**
		 * {@inheritDoc}
		 */
		public void setValue(String name, boolean value) {
			throw new UnsupportedOperationException();
		}
		/**
		 * Returns the adapted options Map.
		 * 
		 * @return Returns the adapted options Map.
		 */
		public Map getOptions() {
			return fOptions;
		}
		/**
		 * Returns the mockup preference store, events are received through this preference store.
		 * @return Returns the mockup preference store.
		 */
		public IPreferenceStore getMockupPreferenceStore() {
			return fMockupPreferenceStore;
		}
		/**
		 * Set the event filter to the given filter.
		 * 
		 * @param filter The new filter.
		 */
		public void setFilter(IPropertyChangeEventFilter filter) {
			fFilter= filter;
		}