4 commits

Author	SHA1	Message	Date
Max Brunsfeld	14b7af3436	highlight: Fix HTML rendering of empty lines	2019-02-22 11:48:29 -08:00
Max Brunsfeld	e239aa8229	highlight: don't include scope in ScopeEnd events ... When there are embedded documents, multiple scopes can start or end at the same position. Previously, there was no guarantee that the ScopeEnd events would always occur in the reverse order of the ScopeStart events. The easiest way to avoid exposing inconsistency is to not surface the scopes being ended.	2019-02-20 16:45:51 -08:00
Max Brunsfeld	a46515b80f	Replace LanguageRegistry trait with a simple callback	2019-02-19 17:07:12 -08:00
Max Brunsfeld	e89b6b2402	Add a highlight subcommand	2019-02-19 12:32:03 -08:00