@b4n commented on this pull request.
> +
+ .doc_symbols_provided = func_return_false,
+ .doc_symbols_get = func_return_ptrarr,
+
+ .symbol_highlight_provided = func_return_false
+};
+
+static PluginExtension *current_extension = &dummy_extension;
+
+
+GEANY_API_SYMBOL
+void plugin_extension_register(PluginExtension *extension)
+{
+ /* possibly, in the future if there's a need for multiple extensions,
+ * have a list of extensions and add/remove to/from the list */
+ current_extension = extension;
Maybe add a warning if the active extension isn't the default one, so 2
conflicting plugins don't go entirely unnoticed?
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3849#pullrequestreview-2094730687
You are receiving this because you are subscribed to this thread.
Message ID: <geany/geany/pull/3849/review/[email protected]>
