// Private methods ---------------------------------------------------------
private void highlightDebugPosition(LineData lineData, boolean finished)
{
FileSystemItem sourceFile = FileSystemItem.createFile(debugFile_);
DebugFilePosition position = DebugFilePosition.create(
lineData.getLineNumber(),
lineData.getEndLineNumber(),
lineData.getCharacterNumber(),
lineData.getEndCharacterNumber());
eventBus_.fireEvent(new OpenSourceFileEvent(sourceFile,
(FilePosition) position.cast(),
FileTypeRegistry.R,
finished ?
NavigationMethod.DebugEnd :
NavigationMethod.DebugStep));
}