Bug 25068 Reuse editor in Search view causes the menubar to refresh a lot.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/search/GotoMarkerAction.java
}
	private boolean isPinned(IEditorPart editor) {
		if (editor == null)
			return false;
		
		IEditorReference[] editorRefs= editor.getEditorSite().getPage().getEditorReferences();
		int i= 0;
		while (i < editorRefs.length) {
			if (editor.equals(editorRefs[i].getEditor(false)))
				return editorRefs[i].isPinned();
			i++;
		}
		return false;
	}
	
	private void showInEditor(IMarker marker, IWorkbenchPage page, IEditorInput input, String editorId) {
		IEditorPart editor= page.findEditor(input);
		if (editor == null) {
			if (fEditor != null && !fEditor.isDirty() && !isPinned(fEditor))
				page.closeEditor(fEditor, false);
				try {
					editor= page.openEditor(input, editorId, false);
				} catch (PartInitException ex) {
					MessageDialog.openError(SearchPlugin.getActiveWorkbenchShell(), SearchMessages.getString("Search.Error.openEditor.title"), SearchMessages.getString("Search.Error.openEditor.message")); 
					return;
				}
		} else {
			page.bringToTop(editor);
		}
		if (editor != null) {