From 8a0d58e05d369dc1609fbe251a269284392380b5 Mon Sep 17 00:00:00 2001 From: sawka Date: Fri, 3 Mar 2023 13:31:45 -0800 Subject: [PATCH] can now purge history items from history view --- src/model.ts | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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); }