Bug 41868 Declaration View does not refresh when you change Java-code color preferences
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/infoviews/SourceView.java
import org.eclipse.jdt.internal.ui.text.JavaCodeReader;
/**
 * View which shows source for a given Java element.
 * 
 * @since 3.0
 */
public class SourceView extends AbstractInfoView implements IMenuListener {
	 
	private static final String SYMBOLIC_FONT_NAME= "org.eclipse.jdt.ui.editors.textfont"; 
	/**
	 * Internal property change listener for handling workbench font changes.
	 */
	class FontPropertyChangeListener implements IPropertyChangeListener {
		/*
		 * @see IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)
		 */
		public void propertyChange(PropertyChangeEvent event) {
			if (fViewer == null)
				return;
				
			String property= event.getProperty();
			
			if (SYMBOLIC_FONT_NAME.equals(property))
				setViewerFont();
		}
	}
	/**
	 * The Javadoc view's select all action.
	 */
	private static class SelectAllAction extends Action {