public void PushCommand(string commandName) { lock (inputGate) { OnValueReceived(new ValueReceivedEventArgs(commandName, InputType.Command)); _workspace.ExecuteCommand(commandName); } }