diff --git a/src/model.ts b/src/model.ts index 837c5535..b5699355 100644 --- a/src/model.ts +++ b/src/model.ts @@ -1859,6 +1859,14 @@ class HistoryViewModel { } _deleteSelected() : void { + let lineIds = Array.from(this.selectedItems.keys()); + let prtn = GlobalCommandRunner.historyPurgeLines(lineIds); + prtn.then((result : boolean) => { + if (!result) { + GlobalModel.showAlert({message: "Error removing history lines."}); + return; + } + }); let offset = this.offset.get(); GlobalCommandRunner.historyView({offset: offset, searchText: this.activeSearchText}); } @@ -3027,6 +3035,11 @@ class CommandRunner { GlobalModel.submitCommand("history", null, null, kwargs, true); } + historyPurgeLines(lines : string[]) : Promise { + let prtn = GlobalModel.submitCommand("history", "purge", lines, {"nohist": "1"}, false); + return prtn; + } + switchSession(session : string) { GlobalModel.submitCommand("session", null, [session], {"nohist": "1"}, false); }