liquidev 2e1a6ad5d1 Fix #30 – user plugins take priority over built-in plugins (#73) ... user plugins should take priority over stock plugins		2021-03-03 12:20:22 +01:00
..
colors	Implement user's config as init file and add directory into package.path	2020-12-02 16:03:31 +01:00
core	Fix #30 – user plugins take priority over built-in plugins (#73)	2021-03-03 12:20:22 +01:00
fonts	Fix missing info icon	2021-02-20 20:15:09 +01:00
plugins	Ensure treeview is large enough to show toolbar	2021-02-27 19:39:56 +01:00
user	Fix font size in initial user's config	2021-03-01 09:48:12 +01:00