Bug 40414 [navigation] Java Editor not in synch with Outline View
I200307160800 I do not have steps to reproduce the problem. Every now and then, when I click on the Outline view, the associated Java editor does not scroll to show the method I have clicked on. If I close the Outline view and reopen it, the problem does not go away. If I close the Java editor and reopen it, the problem goes away. Clicking on a different Java editor does not fix the problem. There is no .log entry created. I will attatch my configuration details.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
}
		initializeLineNumberRulerColumn(fLineNumberRulerColumn);
		return fLineNumberRulerColumn;
	}
	
	/**
	 * Initializes the given change ruler column from the preference store.
	 * 
	 * @param changeColumn the ruler column to be initialized
	 * @since R3.0
	 */
	private void initializeChangeRulerColumn(IChangeRulerColumn changeColumn) {
		JavaTextTools textTools= JavaPlugin.getDefault().getJavaTextTools();
		IColorManager manager= textTools.getColorManager();
		
		IPreferenceStore store= getPreferenceStore();
		if (store != null) {
			RGB rgb= null;
			ISourceViewer v= getSourceViewer();
			if (v != null && v.getAnnotationModel() != null) {
				changeColumn.setModel(v.getAnnotationModel());
			}
				
			rgb= null;
			
			if (!store.getBoolean(PreferenceConstants.QUICK_DIFF_CHANGED_COLOR)) {
				if (store.contains(PreferenceConstants.QUICK_DIFF_CHANGED_COLOR)) {
					if (store.isDefault(PreferenceConstants.QUICK_DIFF_CHANGED_COLOR))
						rgb= PreferenceConverter.getDefaultColor(store, PreferenceConstants.QUICK_DIFF_CHANGED_COLOR);
					else