jgmdev bead59a898 autocomplete: properly replace current partial symbol		2022-09-12 22:41:50 -04:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	Added a smoothing and strikethrough option to font loading. (#1087)	2022-08-20 16:15:08 -04:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	autocomplete: properly replace current partial symbol	2022-09-12 22:41:50 -04:00