Francesco Abbate 03350cc14b Restore config.plugins when reloading config ...

Some plugins store options in:

config.plugins.<plugin-name>

so we restore all the kay-values of config.plugins when
reloading the user preferences.

2021-12-31 00:20:52 +01:00

..

colors

Add textadept theme and correct language_lua just a bit

2021-08-11 23:33:00 +02:00

core

Restore config.plugins when reloading config

2021-12-31 00:20:52 +01:00

fonts

Use FiraSans regular for UI

2021-05-27 13:49:33 +02:00

plugins

Avoid references to project's dir in TreeView

2021-12-28 14:36:21 +01:00