Guldoman d6ce9e1ac6 Don't indent empty lines in a selection		2022-06-25 03:32:47 +02:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	Don't indent empty lines in a selection	2022-06-25 03:32:47 +02:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	`drawwhitespace`: Invalidate cache on font size change	2022-06-25 03:30:33 +02:00