updateStatusLine();
if (!fSelectionChangedViaGotoAnnotation) updateStatusLine(); fSelectionChangedViaGotoAnnotation= false;
	protected void selectionChanged() {		if (getSelectionProvider() == null)			return;		ISourceReference element= computeHighlightRangeSourceReference();		if (getPreferenceStore().getBoolean(PreferenceConstants.EDITOR_SYNC_OUTLINE_ON_CURSOR_MOVE))			synchronizeOutlinePage(element);		setSelection(element, false);		updateStatusLine();	}