[mono/monodevelop] 8964d792: Fixed 'Bug 15125 - unable to remove //TODO tasks after removing or
| Newsgroups | gmane.comp.gnome.mono.patches |
|---|---|
| Message-ID | <0000014183a8e77d-c808767d-75a5-4562-bc3b-440f2f4dcf5a-000000@email.amazonses.com> |
Branch: refs/heads/master
Home: https://github.com/mono/monodevelop
Compare: https://github.com/mono/monodevelop/compare/8d748598f814...8964d792069a
Commit: 8964d792069a73001510d82b26041aa031559c64
Author: Mike Krüger <[email protected]> (mkrueger)
Date: 2013-10-04 13:28:23 GMT
URL: https://github.com/mono/monodevelop/commit/8964d792069a73001510d82b26041aa031559c64
Fixed 'Bug 15125 - unable to remove //TODO tasks after removing or
renaming file'.
Changed paths:
M main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.TypeSystem/TypeSystemService.cs
Modified: main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.TypeSystem/TypeSystemService.cs
===================================================================
@@ -1651,6 +1651,10 @@ static void OnFileRenamed (object sender, ProjectFileRenamedEventArgs args)
content.UpdateContent (c => c.RemoveFiles (fargs.OldName));
content.InformFileRemoved (new ParsedFileEventArgs (file));
+ var tags = content.GetExtensionObject <ProjectCommentTags> ();
+ if (tags != null)
+ tags.RemoveFile (project, fargs.OldName);
+
QueueParseJob (content, new [] { fargs.ProjectFile });
}
}
@@ -2716,12 +2720,15 @@ static void CheckModifiedFiles (Project project, ProjectFile[] projectFiles, Pro
}
modifiedFiles.Add (file);
}
-
+ var tags = content.GetExtensionObject <ProjectCommentTags> ();
+
// check if file needs to be removed from project content
foreach (var file in cnt.Files) {
if (project.GetProjectFile (file.FileName) == null) {
content.UpdateContent (c => c.RemoveFiles (file.FileName));
content.InformFileRemoved (new ParsedFileEventArgs (file));
+ if (tags != null)
+ tags.RemoveFile (project, file.FileName);
}
}
_______________________________________________
Mono-patches maillist - [email protected]
http://lists.ximian.com/mailman/listinfo/mono-patches