Command: SetOptions - siegebell/vscoq GitHub Wiki

SetOptions(options: list {optionNameParts: list string, value: option typeOfOption})

Sends a list of option settings.

<call val="SetOptions">
  <!-- ${options} -->
  <list>
    <pair>
      <!-- ${optionNameParts} -->
      <list>
        <string>${optionNamePart1}</string>
        ...
        <string>${optionNamePartN}</string>
      </list>
      <option_value val="${typeOfOption}">
        <option val="some">
          ${value}
        </option>
      </option_value>
    </pair>
    ...
    <!-- Example: -->
    <pair>
      <list>
        <string>Printing</string>
        <string>Width</string>
      </list>
      <option_value val="intvalue">
        <option val="some"><int>60</int></option>
      </option_value>
    </pair>
  </list>
</call>

CoqIDE sends the following settings (defaults in parentheses):

Printing Width : (<option_value val="intvalue"><int>60</int></option_value>),
Printing Coercions : (<option_value val="boolvalue"><bool val="false"/></option_value>),
Printing Matching : (...true...)
Printing Notations : (...true...)
Printing Existential Instances : (...false...)
Printing Implicit : (...false...)
Printing All : (...false...)
Printing Universes : (...false...)

Returns

<value val="good"><unit/></value>
Add a custom footer
⚠️ **GitHub.com Fallback** ⚠️