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
StyledText widget= viewer.getTextWidget();
				if (widget != null && !widget.isDisposed()) {
					widget.getDisplay().asyncExec(new Runnable() {
						public void run() {
							deactivate();
						}
					});
				}
			}
		}
		/*
		 * @see org.eclipse.jface.text.ITextInputListener#inputDocumentAboutToBeChanged(org.eclipse.jface.text.IDocument, org.eclipse.jface.text.IDocument)
		 */
		public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) {
			if (oldInput == null)
				return;
			deactivate();
			oldInput.removeDocumentListener(this);
		}
		/*
		 * @see org.eclipse.jface.text.ITextInputListener#inputDocumentChanged(org.eclipse.jface.text.IDocument, org.eclipse.jface.text.IDocument)
		 */
		public void inputDocumentChanged(IDocument oldInput, IDocument newInput) {
			if (newInput == null)
				return;
			newInput.addDocumentListener(this);
		}
		/*
		 * @see PaintListener#paintControl(PaintEvent)
		 */