From 52dd097c4d679d53060b415e065151806f0acfbf Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Fri, 4 Sep 2015 22:05:46 +0200
Subject: Reimplemented `kill` command using actual signal sending

Previously `kill` merely destroyed the terminal widget. This is contrary to the expected notion of `kill`, i.e. actually killing the process explicitly instead of relying on side effects.

The normal mode `d` verb now explicitly destroys the current item's content, be it a terminal widget or a history view.
---
 src/widget/EmbeddedTerminal.qml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/widget/EmbeddedTerminal.qml')

diff --git a/src/widget/EmbeddedTerminal.qml b/src/widget/EmbeddedTerminal.qml
index 192fcef..4d48f92 100644
--- a/src/widget/EmbeddedTerminal.qml
+++ b/src/widget/EmbeddedTerminal.qml
@@ -18,6 +18,8 @@ Item {
 	function deselect()       { highlighter.deselect()   }
 	function displayOverlay() { overlay.displayBriefly() }
 
+	function terminate()      { return session.sendSignal(15) }
+
 	height: terminal.height
 	width:  parent.width - settings.terminal.frameWidth
 
-- 
cgit v1.2.3