diff options
author | Adrian Kummerlaender | 2015-09-04 22:05:46 +0200 |
---|---|---|
committer | Adrian Kummerlaender | 2015-09-04 22:05:46 +0200 |
commit | 52dd097c4d679d53060b415e065151806f0acfbf (patch) | |
tree | d38556e1f94e5ba89ac88eea2f581d8dc060317b /src/widget | |
parent | 20da0c6f663be3c1cebc92671d489f56972915e3 (diff) | |
download | MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.tar MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.tar.gz MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.tar.bz2 MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.tar.lz MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.tar.xz MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.tar.zst MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.zip |
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.
Diffstat (limited to 'src/widget')
-rw-r--r-- | src/widget/EmbeddedTerminal.qml | 2 |
1 files changed, 2 insertions, 0 deletions
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 |