diff --git a/src/main.tsx b/src/main.tsx index 4df06ea9..dfa90004 100644 --- a/src/main.tsx +++ b/src/main.tsx @@ -944,6 +944,12 @@ class HistoryInfo extends React.Component<{}, {}> { @mobxReact.observer class CmdInput extends React.Component<{}, {}> { + @boundMethod + onInfoToggle() : void { + GlobalModel.inputModel.toggleInfoMsg(); + return; + } + render() { let model = GlobalModel; let inputModel = model.inputModel; @@ -964,8 +970,17 @@ class CmdInput extends React.Component<{}, {}> { let cwdStr = getCwdStr(remote, remoteState); let infoShow = inputModel.infoShow.get(); let historyShow = !infoShow && inputModel.historyShow.get(); + let hasInfo = (inputModel.infoMsg.get() != null); return (