terminal: terminate session on dispose

Previously, closing a terminal tab via the close button didn't terminate the process.
2026-09-27 10:03:11 +07:00 · 2018-11-08 18:57:55 +03:00
parent 95d33160b3
commit 37e4af6d8a
1 changed files with 1 additions and 0 deletions
@@ -166,6 +166,7 @@ public class JBTerminalWidget extends JediTermWidget implements Disposable {

  @Override
  public void dispose() {
+    close();
  }

  @Override