Francesco Abbate 688dc1a7b8 Do not log every plugin load ... Since we now load the user's module before the plugins\nwe avoid to log a line for each loaded plugin to not hide\nan eventual error in the user module		2021-02-19 16:12:56 +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	Do not log every plugin load	2021-02-19 16:12:56 +01:00
fonts	New fontello font smaller plus two new icons	2021-02-19 10:12:43 +01:00
plugins	Automatic keep adjusting indent size	2021-02-19 11:51:49 +01:00
user	Adjust default code font size	2021-02-19 16:10:57 +01:00