jgmdev c7781a76a9 CommandView: do not change caret size with config.line_height		2022-07-15 11:27:27 -04:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	CommandView: do not change caret size with config.line_height	2022-07-15 11:27:27 -04:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	`language_python`: Add new patterns (#1074)	2022-07-13 11:06:42 -04:00