# File control/EditProperties/EditProperties.rb, line 416
  def arg_radio_count
    pos = arg_pos(:radio)
    @doc_args[pos][:default].length
  end