feature: Kill support in the UI (#297)

* feature: Kill command API (wip)

* feature: Kill support in the UI
This commit is contained in:
James Read
2024-04-27 22:51:45 +01:00
committed by GitHub
parent a783fc8cd4
commit dc6f6c2896
7 changed files with 87 additions and 8 deletions

View File

@@ -146,6 +146,7 @@ class ActionButton extends ExecutionFeedbackButton {
window.executionDialog.hideEverythingApartFromOutput()
}
window.executionDialog.executionTrackingId = executionTrackingId
window.executionDialog.show(this)
}