diff options
author | Lluis Sanchez <lluis@xamarin.com> | 2019-06-07 13:09:20 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-07 13:09:20 +0300 |
commit | 08a745443457cf887868c5c63d18cdf44b39bc40 (patch) | |
tree | 2fd6ebbbab1c1bebd4bbd54f7ae42411990e8ecd | |
parent | 19fa43d9ae3526b4501072f170eb732dd1802477 (diff) | |
parent | 802dd40cb71c74b9b99712bc62bc3dfe734ff9f5 (diff) |
Merge pull request #7836 from mono/workbench-handle-pad-dispose-exception
[Ide] Handle exception disposing pad on closing the workbench.
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.Shell/DefaultWorkbench.cs | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.Shell/DefaultWorkbench.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.Shell/DefaultWorkbench.cs index 94fd3b1208..8ee60288a4 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.Shell/DefaultWorkbench.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.Shell/DefaultWorkbench.cs @@ -655,8 +655,13 @@ namespace MonoDevelop.Ide.Gui Remove (rootWidget); foreach (PadCodon content in PadContentCollection) { - if (content.Initialized) - content.PadContent.Dispose (); + if (content.Initialized) { + try { + content.PadContent.Dispose (); + } catch (Exception ex) { + LoggingService.LogInternalError ("Failed to dispose pad " + content.PadId, ex); + } + } } rootWidget.Destroy (); |