final DocDisplay docDisplay,
final EventBus events,
final EditingTarget target)
{
releaseOnDismiss.add(docDisplay.addRecordNavigationPositionHandler(
new RecordNavigationPositionHandler() {
@Override
public void onRecordNavigationPosition(
RecordNavigationPositionEvent event)
{
SourcePosition pos = SourcePosition.create(