[Github-comments] [geany/geany] [session-split] More things to session (Issue #3007)

Thomas Martitz notifications at github.com
Sun Apr 24 22:47:21 UTC 2022


Regarding plugins, I would consider all of them to be session prefs.

`active_plugins` and `custom_plugin_path` contain local paths, thus they are not suitable for sharing between different machines. `load_plugins` is generally questionable. Users that don't want plugin simply don't enable any plugin. So
the key is more of a debug option to me.


-- 
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/3007#issuecomment-1107932966
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/issues/3007/1107932966 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20220424/9c1e762b/attachment.htm>


More information about the Github-comments mailing list