@Override
public void mouseDoubleClick(MouseEvent me) {
String location = table.getSelection()[0].getText(4);
if (location.length() > 0) {
int line = 0;
if (location.indexOf(':') > 0) {
String[] pos = location.split(":"); // $NON-NLS-1$
line = Integer.parseInt(pos[0]);
} else {
line = Integer.parseInt(location);
}
IWorkbenchPage page =
PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage();
IEditorPart ed = page.getActiveEditor();
if (ed instanceof SimpleEditor) {
SimpleEditor editor = ((SimpleEditor) ed);
editor.selectLine(line);
editor.setFocus();
}
}
}
