diff options
author | Lluis Sanchez <llsan@microsoft.com> | 2019-06-06 15:42:25 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-06 15:42:25 +0300 |
commit | 332fb180e3c98aad2cac6ebadab84f5eae249f05 (patch) | |
tree | a70ae3cadcb66f757a31b672ec0d86af466e98b0 /main/src | |
parent | 8d19632c4d0305ffc65380fd6fab713282321a07 (diff) | |
parent | d40317abe888779b436e2144d27a1be4c91791c1 (diff) |
Merge pull request #7817 from mono/fix-910800
Fix crash when switching configurations
Diffstat (limited to 'main/src')
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.TypeSystem/TypeSystemService_WorkspaceHandling.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.TypeSystem/TypeSystemService_WorkspaceHandling.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.TypeSystem/TypeSystemService_WorkspaceHandling.cs index d86c4445a7..a9a6c33112 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.TypeSystem/TypeSystemService_WorkspaceHandling.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.TypeSystem/TypeSystemService_WorkspaceHandling.cs @@ -617,7 +617,7 @@ namespace MonoDevelop.Ide.TypeSystem // update documents if (documentManager != null) { foreach (var openDocument in documentManager.Documents) - openDocument.DocumentContext.ReparseDocument (); + openDocument.DocumentContext?.ReparseDocument (); } } } |