Guldoman 76c1db97f5 `drawwhitespace`: Use `Docview` vertical line offset		2022-06-20 19:56:53 +02:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	CommandView: improve performance by only drawing visible	2022-06-20 10:01:28 -04:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	`drawwhitespace`: Use `Docview` vertical line offset	2022-06-20 19:56:53 +02:00