Patrick Cleavelin 73b35dfece run grep in a different thread to not block UI		2024-01-16 17:00:07 -06:00
..
buffer_search	ayo, grep is now a plugin (still a lot of jank in the plugin API tho)	2024-01-15 19:39:43 -06:00
grep	run grep in a different thread to not block UI	2024-01-16 17:00:07 -06:00
highlighter/src	fixed an off by one issue with the syntax highlighter	2024-01-15 19:40:46 -06:00