SourcePosition pos = SourcePosition.create(
target.getContext(),
event.getPosition().getRow(),
event.getPosition().getColumn(),
docDisplay.getScrollTop());
events.fireEvent(new SourceNavigationEvent(
SourceNavigation.create(
target.getId(),
target.getPath(),
pos)));
}