> The "load_pluings" key is moved as well to keep things simple. No
> idea what's the use case to set this off. Typically you just have no
> plugins enabled and the debugging aid geany -p bypasses any of this
> anyway.

I don't remember why we added it (it was probably me). Maybe this is
from the very early days with plugin support where we were maybe not
sure if it is stable enough.

Apart from that, I have also no idea why the setting was added.



The changes look good to me and work.

More a general question:
I didn't follow the previous session split PRs closely, so I missed
the answer to the question:
do we have a plan to support the user in migrating the settings in
some way?

Currently, the old settings are still in geany.conf but ignored, i.e.
users will loose e.g. their list of activated plugins.


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/pull/3183/c1111138041@github.com>