Guldoman d7f9b30d05 `drawwhitespace`: Invalidate cache on indent size change		2022-07-15 06:54:03 +02:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	Merge pull request #1070 from Guldoman/PR_get_selections_swap_return	2022-07-13 11:13:43 -04:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	`drawwhitespace`: Invalidate cache on indent size change	2022-07-15 06:54:03 +02:00