# File control/Navigation/Navigation.rb, line 38
  def hidden_param=(param_pair)
    @hidden_param_name, @hidden_param_value = param_pair
  end