[Github-comments] [geany/geany] session.conf split follow-up: plugins (PR #3183)

Enrico Tröger notifications at github.com
Wed Apr 27 15:24:54 UTC 2022


 > 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 or view it on GitHub:
https://github.com/geany/geany/pull/3183#issuecomment-1111138041
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/pull/3183/c1111138041 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20220427/737fe95d/attachment.htm>


More information about the Github-comments mailing list