private void OnTerminalOptionsChanged(TerminalOptionsChangedMessage message)
 {
     _terminalView.ChangeOptionsAsync(message.TerminalOptions);
 }
 private async void OnTerminalOptionsChanged(TerminalOptionsChangedMessage message)
 {
     await _terminalView.ChangeOptions(message.TerminalOptions).ConfigureAwait(true);
 }
 public void Receive(TerminalOptionsChangedMessage message)
 {
     _terminalView.ChangeOptionsAsync(message.TerminalOptions);
 }