diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalView.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalView.java index e6ecc58ea9ee..05587a267c8e 100644 --- a/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalView.java +++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalView.java @@ -94,6 +94,7 @@ public class TerminalView { if (myDockContainer == null) { myDockContainer = new TerminalDockContainer(toolWindow); + Disposer.register(myProject, myDockContainer); DockManager.getInstance(myProject).register(myDockContainer); } }