history item types

This commit is contained in:
sawka 2022-08-28 14:24:25 -07:00
parent 3a8f3dab38
commit 15178248a2
2 changed files with 5 additions and 0 deletions

View File

@ -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);

View File

@ -127,6 +127,8 @@ type HistoryItem = {
cmdid : string,
cmdstr : string,
remove : boolean,
remote : RemotePtrType,
ismetacmd : boolean,
};
type CmdRemoteStateType = {