5 commits

Author	SHA1	Message	Date
Yehuda Katz	6a7c00eaef	Finish the job of moving shapes into the stream ... This commit should finish the `coloring_in_tokens` feature, which moves the shape accumulator into the token stream. This allows rollbacks of the token stream to also roll back any shapes that were added. This commit also adds a much nicer syntax highlighter trace, which shows all of the paths the highlighter took to arrive at a particular coloring output. This change is fairly substantial, but really improves the understandability of the flow. I intend to update the normal parser with a similar tracing view. In general, this change also fleshes out the concept of "atomic" token stream operations. A good next step would be to try to make the parser more error-correcting, using the coloring infrastructure. A follow-up step would involve merging the parser and highlighter shapes themselves.	2019-10-22 16:19:22 -07:00
Pirmin Kalberer	3480cdb3b4	Fix build without crossterm	2019-09-24 23:33:30 +02:00
Pirmin Kalberer	639a316677	Fix selection list display glitches	2019-09-19 20:18:39 +02:00
Pirmin Kalberer	0c9a62aeec	Separate highlighting from fuzzy search	2019-09-19 20:18:39 +02:00
Pirmin Kalberer	0a0be19bed	Rename histsearch to fuzzysearch	2019-09-19 20:18:39 +02:00

Renamed from src/histsearch.rs (Browse further)