private void navigate(final EditingTarget target,
final SourcePosition srcPosition,
final SourcePosition srcEndPosition)
{
Scheduler.get().scheduleDeferred(new ScheduledCommand()
{
@Override
public void execute()
{
if (navMethod == NavigationMethod.DebugStep)