Jeremy Penner b1e8bba30d Merge branch 'projects'		2022-01-06 22:25:26 -05:00
..
core	Merge branch 'projects'	2022-01-06 22:25:26 -05:00
fonts	Changed mapping of collapsed/expanded icons on icon font	2020-03-25 23:36:56 +00:00
plugins	Implement more comfortable "find text" UI	2022-01-06 22:25:25 -05:00
user	Changed summer color theme's caret color	2020-05-29 17:19:27 +01:00