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
c.addDecorator(1, createLineNumberRulerColumn());
		}
	}
	
	/**
	 * Hides the line number ruler column.
	 */
	private void hideLineNumberRuler() {
		IVerticalRuler v= getVerticalRuler();
		if (fLineNumberRulerColumn != null && v instanceof CompositeRuler) {
			CompositeRuler c= (CompositeRuler) v;
			c.removeDecorator(fLineNumberRulerColumn);
			fLineNumberRulerColumn= null;
		}
		if (fIsChangeInformationShown)
			showChangeRuler(true);
	}
	
	/**
	 * Return whether the line number ruler column should be 
	 * visible according to the preference store settings.
	 * 
	 * @return <code>true</code> if the line numbers should be visible
	 */
	private boolean isLineNumberRulerVisible() {
		IPreferenceStore store= getPreferenceStore();
		return store.getBoolean(LINE_NUMBER_RULER);
	}
	
	/**