lineData.getLineNumber(),
lineData.getEndLineNumber(),
lineData.getCharacterNumber(),
lineData.getEndCharacterNumber());
eventBus_.fireEvent(new OpenSourceFileEvent(sourceFile,
(FilePosition) position.cast(),
FileTypeRegistry.R,
finished ?
NavigationMethod.DebugEnd :
NavigationMethod.DebugStep));
}