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:
authorVsevolod Kukol <sevoku@microsoft.com>2017-06-21 10:58:32 +0300
committerVsevolod Kukol <sevoku@microsoft.com>2017-06-21 10:58:32 +0300
commit270f529dd35ec83ef9914f5d7ef27f7fe55ae44d (patch)
treeafc3a5901fab81af9f1e3799b20f600a4a075b06 /main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui
parent8b4c16b0f651cb47f151dc2724b7bc8866999bfe (diff)
[Ide] Fix NRE if a Document has no Editor
(fixes bug #57621)
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui')
-rw-r--r--main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Document.cs3
1 files changed, 2 insertions, 1 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Document.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Document.cs
index ea612cd668..45432db1d3 100644
--- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Document.cs
+++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Document.cs
@@ -974,7 +974,8 @@ namespace MonoDevelop.Ide.Gui
{
RunWhenRealized (() => {
string currentParseFile = GetCurrentParseFileName ();
- if (string.IsNullOrEmpty (currentParseFile) || Editor.IsDisposed)
+ var editor = Editor;
+ if (string.IsNullOrEmpty (currentParseFile) || editor == null || editor.IsDisposed == true)
return;
lock (reparseTimeoutLock) {
CancelParseTimeout ();