diff options
| -rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.TypeSystem/MonoDevelopWorkspace.cs | 2 | ||||
| -rwxr-xr-x | version-checks | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.TypeSystem/MonoDevelopWorkspace.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.TypeSystem/MonoDevelopWorkspace.cs index 6fff94b5d2..04ea40b0ce 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.TypeSystem/MonoDevelopWorkspace.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.TypeSystem/MonoDevelopWorkspace.cs @@ -488,6 +488,8 @@ namespace MonoDevelop.Ide.TypeSystem yield return CreateDocumentInfo (solutionData, p.Name, projectData, f); } else { foreach (var projectedDocument in GenerateProjections (f, projectData, p)) { + if (!duplicates.Add (projectData.GetOrCreateDocumentId (projectedDocument.FilePath))) + continue; yield return projectedDocument; } } diff --git a/version-checks b/version-checks index de6b280175..e1002d35a6 100755 --- a/version-checks +++ b/version-checks @@ -17,7 +17,7 @@ DEP[0]=md-addins DEP_NAME[0]=MDADDINS DEP_PATH[0]=${top_srcdir}/../md-addins DEP_MODULE[0]=git@github.com:xamarin/md-addins.git -DEP_NEEDED_VERSION[0]=5df1053387c0725d00b2a0d68452ec08cdb400b2 +DEP_NEEDED_VERSION[0]=a9252e6df4851fbbed1f9c6228e7b6dd1b475ac5 DEP_BRANCH_AND_REMOTE[0]="cycle7-sr0 origin/cycle7-sr0" # heap-shot |