/*
* @see org.eclipse.jface.action.Action#run()
*/
@Override
public void run() {
final BrowserInformationControlInput infoInput = fInfoControl.getInput();
fInfoControl.notifyDelayedInputChange(null);
fInfoControl.dispose();
// TODO: add hover location to editor navigation history?
try {
final Object element = infoInput.getInputElement();
if (element instanceof IErlElement) {
EditorUtility.openElementInEditor(element, true);
} else if (element instanceof OpenResult) {
final OpenResult or = (OpenResult) element;
try {