From b69a71c885a365c3cb5553a570500f5a4908d1de Mon Sep 17 00:00:00 2001
From: baldurk <baldurk@baldurk.org>
Date: Wed, 17 May 2017 11:57:10 +0100
Subject: [PATCH] Don't try to set line number on disposed python shell

---
 renderdocui/Windows/Dialogs/PythonShell.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/renderdocui/Windows/Dialogs/PythonShell.cs b/renderdocui/Windows/Dialogs/PythonShell.cs
index d80741135..3035f695b 100644
--- a/renderdocui/Windows/Dialogs/PythonShell.cs
+++ b/renderdocui/Windows/Dialogs/PythonShell.cs
@@ -365,7 +365,7 @@ namespace renderdocui.Windows.Dialogs
         
         private void SetLineNumber(int lineNum)
         {
-            if (recurse || me == null || me.scriptEditor == null)
+            if (recurse || me == null || me.IsDisposed || me.scriptEditor == null)
                 return;
 
             recurse = true;