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
return;
			repairRepresentation();
			
			StyledText text= viewer.getTextWidget();
			if (text == null || text.isDisposed())
				return;
			
			
			int offset= 0;
			int length= 0;
			if (viewer instanceof ITextViewerExtension3) {
				ITextViewerExtension3 extension= (ITextViewerExtension3) viewer;
				IRegion widgetRange= extension.modelRange2WidgetRange(region);
				if (widgetRange == null)
					return;
					
				offset= widgetRange.getOffset();
				length= widgetRange.getLength();
				
			} else {
				offset= region.getOffset() - viewer.getVisibleRegion().getOffset();
				length= region.getLength();
			}
			text.redrawRange(offset, length, false);
			
			
			fActiveRegion= region;
			if (viewer instanceof ITextViewerExtension2)
				((ITextViewerExtension2) viewer).invalidateTextPresentation(region.getOffset(), region.getLength());
			else