From 15178248a2b562fdcfb5b2449a2674e5454545f6 Mon Sep 17 00:00:00 2001 From: sawka Date: Sun, 28 Aug 2022 14:24:25 -0700 Subject: [PATCH] history item types --- src/model.ts | 3 +++ src/types.ts | 2 ++ 2 files changed, 5 insertions(+) diff --git a/src/model.ts b/src/model.ts index 78fcf7c3..c3f7f743 100644 --- a/src/model.ts +++ b/src/model.ts @@ -583,6 +583,9 @@ class InputModel { uiSubmitCommand() : void { mobx.action(() => { let commandStr = this.getCurLine(); + if (commandStr.trim() == "") { + return; + } this.clearCurLine(); GlobalModel.clearInfoMsg(true); GlobalModel.submitRawCommand(commandStr, true); diff --git a/src/types.ts b/src/types.ts index f810e1ea..3d8a40d1 100644 --- a/src/types.ts +++ b/src/types.ts @@ -127,6 +127,8 @@ type HistoryItem = { cmdid : string, cmdstr : string, remove : boolean, + remote : RemotePtrType, + ismetacmd : boolean, }; type CmdRemoteStateType = {