diff --git a/src/main.tsx b/src/main.tsx index c777c8b29..8b2573d0d 100644 --- a/src/main.tsx +++ b/src/main.tsx @@ -690,6 +690,16 @@ class InfoMsg extends React.Component<{}, {}> { inputModel.remoteTermWrap.terminal.focus(); } } + + @boundMethod + connectRemote(remoteId : string) { + GlobalCommandRunner.connectRemote(remoteId); + } + + @boundMethod + disconnectRemote(remoteId : string) { + GlobalCommandRunner.disconnectRemote(remoteId); + } render() { let model = GlobalModel; @@ -701,7 +711,10 @@ class InfoMsg extends React.Component<{}, {}> { let idx : number = 0; let ptyRemoteId = (infoMsg == null ? null : infoMsg.ptyremoteid); let isTermFocused = (inputModel.remoteTermWrap == null ? false : inputModel.remoteTermWrap.isFocused.get()); - console.log("ptyremoteid", ptyRemoteId); + let remote : RemoteType; + if (ptyRemoteId != null) { + remote = GlobalModel.getRemote(ptyRemoteId); + } return (