   # t: token type, a short key for storing customisations in localStorage
   # c: css selector
   # s: name to display in the UI
-  # showLB: whether to show the "Left border" control
+  # showX: whether to show the control for "X"
   {t:' ',  c:'.cm-s-default,.CodeMirror-gutter-wrapper', s:'normal'}
   {t:'0',  c:'.cm-apl-num',                 s:'number'          }
   {t:"'",  c:'.cm-apl-str',                 s:'string'          }

    <div id=col-settings>
      <datalist id=col-list>#{join u.map (c) -> "<option value=#{c}>"}</datalist>
      <select id=col-group>#{join G.map (g, i) -> "<option value=#{i}>#{g.s}"}</select>
      <p><input type=checkbox id=col-fg-cb>Foreground <input type=color id=col-fg list=col-list>
      <p><input type=checkbox id=col-bg-cb>Background <input type=color id=col-bg list=col-list>
      <p><label><input type=checkbox id=col-B><b>B</b></label>
         <label><input type=checkbox id=col-I><i>I</i></label>
         <label><input type=checkbox id=col-U><u>U</u></label>
      <p id=col-lb-p>
         <input type=checkbox id=col-lb-cb>Left border <input type=color id=col-lb>
    </div>
  """
  $cm = $ '#col-cm'

  {t:'⍝',  c:'.cm-apl-comment',             s:'comment'         }
  {t:'!',  c:'.cm-apl-err',                 s:'error'           }
  {t:'L',  c:'.CodeMirror-linenumber',      s:'line number'     }
  {t:'cu', c:'div.CodeMirror-cursor',       s:'cursor',           controls:{lb:1}}
  {t:'mb', c:'.CodeMirror-matchingbracket', s:'matching bracket'}
  {t:'sc', c:'.CodeMirror-search-match',    s:'search match'    }
  {t:'mo', c:'.modified',                   s:'modified (session)'}
  {t:'s1', c:'.CodeMirror-focused .CodeMirror-selected', s:'selected (focused)',    controls:{fg:0,BIU:0}}
  {t:'s0', c:'.CodeMirror-selected',                     s:'selected (no focus)',   controls:{fg:0,BIU:0}}
]
H = dict G.map (g, i) -> [g.t, i]

