private void openSelectedMarker() {
ISelection sel = tableViewer.getSelection();
if (sel instanceof IStructuredSelection) {
Object element = ((IStructuredSelection) sel).getFirstElement();
if (element instanceof IMarker) {
IMarker marker = (IMarker) element;
if (marker.getResource() instanceof IFile) {
try {
IDE.openEditor(getViewSite().getPage(), marker);
} catch (PartInitException e) {
ErrorDialog.openError(
getSite().getShell(),
"Error Opening Marker",
"Unable to open an editor for the given marker: " + e.getClass().getSimpleName(),
new Status(IStatus.ERROR, DartToolsPlugin.PLUGIN_ID, e.toString(), e));
DartToolsPlugin.log(e);
}
}
}
}
}
