Francesco Abbate 6353fde609 Move user module loading before plugins ...

Otherwise the configuration to disable a plugin does not take effect.

2021-02-19 10:08:03 +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

Move user module loading before plugins

2021-02-19 10:08:03 +01:00

fonts

Replace icons font with new fontello font

2021-02-15 15:49:33 +01:00

plugins

Adjust line numbers for detect indent

2021-02-19 09:23:55 +01:00

user

New feature to disable plugins from config

2021-01-13 14:50:24 +01:00