From 37e4af6d8a5b9889d25286d1c906cbc0fdd0d3f9 Mon Sep 17 00:00:00 2001
From: Sergey Simonchik <sergey.simonchik@jetbrains.com>
Date: Thu, 8 Nov 2018 18:57:18 +0300
Subject: [PATCH] terminal: terminate session on dispose

Previously, closing a terminal tab via the close button didn't terminate the process.
---
 .../src/com/intellij/terminal/JBTerminalWidget.java              | 1 +
 1 file changed, 1 insertion(+)

diff --git a/platform/platform-impl/src/com/intellij/terminal/JBTerminalWidget.java b/platform/platform-impl/src/com/intellij/terminal/JBTerminalWidget.java
index 822715e85d13..e91e1545b062 100644
--- a/platform/platform-impl/src/com/intellij/terminal/JBTerminalWidget.java
+++ b/platform/platform-impl/src/com/intellij/terminal/JBTerminalWidget.java
@@ -166,6 +166,7 @@ public class JBTerminalWidget extends JediTermWidget implements Disposable {
 
   @Override
   public void dispose() {
+    close();
   }
 
   @Override