protected void selectInEditor(Token token) {
int line = token.getLine();
line--; // -1 because SableCC lines are 1-based
WorkingCopy workingCopy = editor.getWorkingCopy();
IDocument document = workingCopy.getDocument();
try {
int start = document.getLineOffset(line);
editor.selectAndReveal(start, 0);
} catch (BadLocationException e) {
UIUtils.log(e);
}
}
