Max Brunsfeld 8340958b33 Convert query capture indices to style ids ...

* Introduce a Theme struct as a new part of the app's settings
* Store on each Language a ThemeMap, which converts the capture ids
  from that language's highlight query into StyleIds, which identify
  styles in the current Theme.
* Update `highlighted_chunks` methods to provide StyleIds instead of
  capture ids.

2021-05-24 16:44:14 -07:00

..

highlights.scm

Convert query capture indices to style ids

2021-05-24 16:44:14 -07:00