> I thought of it, but I don't know… on one hand it indeed allows accessing a > lot more stuff if need be, and we could even make sure the extension got > unregistered on plugin unload (so a plugin forgetting to unregister wouldn't > crash, although I wouldn't love authors to disregard deregistration), but it > also means that it's not possible to discriminate several extensions > registered by a single plugin, which might (or might not) be an issue for > e.g. Peasy-based plugins (not that I can tell whether this API is > Peasy-friendly to begin with).
Oh sure, multiple extensions provided by a single plugin - we must have that! :-) -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3849#issuecomment-2161557376 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3849/c2161557...@github.com>
