--- plugins/org.python.pydev.shared_ui/src/org/python/pydev/shared_ui/outline/BaseModel.java.orig 2018-06-25 11:00:03.153729818 +0100
+++ plugins/org.python.pydev.shared_ui/src/org/python/pydev/shared_ui/outline/BaseModel.java 2018-06-25 11:03:33.331076645 +0100
@@ -153,6 +153,10 @@
* Replaces current root
*/
public void setRoot(IParsedItem newRoot) {
+ if (disposed) {
+ // Don't try to do anything if we are already disposed
+ return;
+ }
// We'll try to do the 'least flicker replace'
// compare the two root structures, and tell outline what to refresh
onModelChanged.call(this);
@@ -185,12 +189,7 @@
}
} else {
- if (disposed) {
- Log.logInfo("It seems it's already disposed...");
-
- } else {
- Log.logInfo("No old model root?");
- }
+ Log.logInfo("No old model root?");
}
} catch (Throwable e) {
Log.log(e);