Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLluis Sanchez <lluis@xamarin.com>2015-08-25 20:01:09 +0300
committerLluis Sanchez <lluis@xamarin.com>2015-08-25 20:01:09 +0300
commit26fcc119b50a384ddda1f47bdd7d72d5794c9ca0 (patch)
treef9fd4b3a61984768009935bb0d3765b3710ebeb5 /main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Navigation
parent018a0bbef5eb46daae8184b9c0ef72107290599a (diff)
parentcb630fd2d07267b5c521c017af640d160acfbdf1 (diff)
Merge branch 'master' into roslyn
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Navigation')
-rw-r--r--main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Navigation/NavigationHistoryService.cs9
1 files changed, 4 insertions, 5 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Navigation/NavigationHistoryService.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Navigation/NavigationHistoryService.cs
index 934c975f87..d9a964024c 100644
--- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Navigation/NavigationHistoryService.cs
+++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Navigation/NavigationHistoryService.cs
@@ -349,12 +349,11 @@ namespace MonoDevelop.Ide.Navigation
bool closedHistoryChanged = false;
foreach (ProjectFileRenamedEventInfo args in e) {
foreach (NavigationHistoryItem point in history) {
- DocumentNavigationPoint dp = point.NavigationPoint as DocumentNavigationPoint;
+ var dp = point.NavigationPoint as DocumentNavigationPoint;
historyChanged &= (dp != null && dp.HandleRenameEvent (args.OldName, args.NewName));
- }
- foreach (NavigationHistoryItem point in history) {
- DocumentNavigationPoint cdp = point.NavigationPoint as DocumentNavigationPoint;
- closedHistoryChanged &= (cdp != null && cdp.HandleRenameEvent (args.OldName, args.NewName));
+ closedHistoryChanged &= (dp != null && dp.HandleRenameEvent (args.OldName, args.NewName));
+ if (historyChanged && closedHistoryChanged)
+ break;
}
}
if (historyChanged)