From 876cd011ab846ac51ccf4668e0f2b24571fe59ef Mon Sep 17 00:00:00 2001
From: Matt Ward <ward.matt@gmail.com>
Date: Sun, 5 Aug 2012 17:55:17 +0100
Subject: [PATCH] Fix null reference exception when caret in code coverage
 window text editor and SharpDevelop is closed.

---
 .../CodeCoverage/Project/Src/CodeCoverageControl.cs      | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/AddIns/Analysis/CodeCoverage/Project/Src/CodeCoverageControl.cs b/src/AddIns/Analysis/CodeCoverage/Project/Src/CodeCoverageControl.cs
index f1c9704f27..ffecfce32e 100644
--- a/src/AddIns/Analysis/CodeCoverage/Project/Src/CodeCoverageControl.cs
+++ b/src/AddIns/Analysis/CodeCoverage/Project/Src/CodeCoverageControl.cs
@@ -291,7 +291,6 @@ namespace ICSharpCode.CodeCoverage
 			foreach (CodeCoverageSequencePoint sequencePoint in sequencePoints) {
 				AddSequencePoint(sequencePoint);
 			}
-
 		}
 		
 		void AddSequencePoint(CodeCoverageSequencePoint sequencePoint)
@@ -571,5 +570,13 @@ namespace ICSharpCode.CodeCoverage
 				DisposeTreeView();
 			}
 		}
+		
+		protected override void Dispose(bool disposing)
+		{
+			if (textEditor != null) {
+				DisposeTextEditor();
+			}
+			base.Dispose(disposing);
+		}
 	}
 }