* MonoDevelop.Ide.Tasks/TaskStore.cs: Don't generate navigation

  points for tasks which don't have a file name.

* MonoDevelop.Ide.Gui/Workbench.cs:
* MonoDevelop.Ide.Gui/DocumentNavigationPoint.cs: Revert check for
  return value of Show, since it should always work.

* MonoDevelop.Ide.Gui/TextFileNavigationPoint.cs:
* MonoDevelop.Ide.Gui/NavigationHistoryService.cs: Improved navigation
  point logging logic.

* MonoDevelop.Ide.Gui/TextEditor.cs: New event.

svn path=/trunk/monodevelop/; revision=156510

1 files changed, 4 insertions, 28 deletions

diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Workbench.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Workbench.cs
index 6ee434b1ba..aa09aea56e 100644
--- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Workbench.cs
+++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Workbench.cs
@@ -557,20 +557,8 @@ namespace MonoDevelop.Ide.Gui
 			
 			if (activeLocationList != null) {
 				NavigationPoint next = activeLocationList.GetNextLocation ();
-				if (next != null) {
-					bool result = next.Show ();
-					if (!result) {
-						HashSet<NavigationPoint> visited = new HashSet<NavigationPoint> ();
-						visited.Add (next);
-						while (!result) {
-							next = activeLocationList.GetNextLocation ();
-							if (visited.Contains (next))
-								break;
-							visited.Add (next);
-							result = next.Show ();
-						}
-					}
-				}
+				if (next != null)
+					next.Show ();
 			}
 		}
 		
@@ -580,20 +568,8 @@ namespace MonoDevelop.Ide.Gui
 			
 			if (activeLocationList != null) {
 				NavigationPoint next = activeLocationList.GetPreviousLocation ();
-				if (next != null) {
-					bool result = next.Show ();
-					if (!result) {
-						HashSet<NavigationPoint> visited = new HashSet<NavigationPoint> ();
-						visited.Add (next);
-						while (!result) {
-							next = activeLocationList.GetPreviousLocation ();
-							if (visited.Contains (next))
-								break;
-							visited.Add (next);
-							result = next.Show ();
-						}
-					}
-				}
+				if (next != null)
+					next.Show ();
 			}
 		}