/*
* @see org.eclipse.jface.action.Action#run()
*/
@Override
public void run() {
ErlBrowserInformationControlInput input = null;
if (fInfoControl != null) {
input = (ErlBrowserInformationControlInput) fInfoControl.getInput();
fInfoControl.notifyDelayedInputChange(null);
fInfoControl.dispose();
} else if (edocView != null) {
input = edocView.getInput();
}
if (input != null) {
// TODO: add hover location to editor navigation history?
try {
final Object element = input.getInputElement();
if (element instanceof IErlElement) {
EditorUtility.openElementInEditor(element, true);
} else if (element instanceof OpenResult) {
final OpenResult or = (OpenResult) element;
try {
final AbstractErlangEditor editor = input.getEditor();
new OpenUtils().openOpenResult(editor, editor.getModule(), -1, null, or, null);
} catch (final Exception e) {
ErlLogger.error(e);
}
}
} catch (final PartInitException e) {
ErlLogger.error(e);
}
}
}
/*
* @see org.eclipse.jface.action.Action#run()
*/
@Override
public void run() {
final BrowserInformationControlInput input = fInfoControl.getInput();
fInfoControl.notifyDelayedInputChange(null);
fInfoControl.dispose();
try {
final EdocView view = (EdocView) ErlideUIPlugin.getActivePage().showView(EdocView.ID);
// TODO view.setInput(infoInput);
view.setText(input.getHtml());
} catch (final PartInitException e) {
ErlLogger.error(e);
}
}
