ment.
    </div>
  </dd>
  <dt>
    <code class="key">NamedHiliterCount</code> (Integer)
  </dt>
  <dd>
    Number of custom (or &quot;Named&quot;) syntax highlighters defined by the user.
  </dd>
  <dt>
    <code class="key">HilterName<em>XXX</em></code> (String)
  </dt>
  <dd>
    <div class="half-spaced">
      One entry for each custom syntax highlighter, where <code class="key">XXX</code> ranges from <code class="value">0 </code> to <code class="key">NamedHiliterCount</code> - <code class="value">1</co