Guldoman 685956cbdb Add `Highlighter:update_notify` to keep track of retokenized lines ... This is helpful for plugins that need to know when a line has been retokenized.		2022-06-11 06:21:55 +02:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	Add `Highlighter:update_notify` to keep track of retokenized lines	2022-06-11 06:21:55 +02:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	initial documentation for better code completion	2022-06-07 22:09:34 -04:00