updateRecentProject(oldName, newName, projectFile);
}
private void updateRecentProject(String oldName, String newName, ProjectFile projectFile) {
RecentProjects mgr = view.getProjectManager().getRecentProjects();
mgr.projectWasRenamed(oldName, projectFile.getParentFolder(), newName);
}
}
}