if (path != null && path.equalsIgnoreCase(file.getPath()))
{
// the file's open; just update its highlighting
if (navMethod == NavigationMethod.DebugEnd)
{
target.endDebugHighlighting();
}
else
{
view_.selectTab(i);
editingTargetAction.execute(target);