public void navigateTo(final int line, final int column) {
if (log.isDebugEnabled())
log.debug("Enquing navigation to location " + line + ", " + column + " in " + SWTUtils.toString(widget));
checkEnabled();
setFocus();
asyncExec(new VoidResult() {
public void run() {
if (log.isDebugEnabled())
log.debug("Navigating to location " + line + ", " + column + " in " + widget);
getControl().setSelection(offset(line, column));
}