Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
@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, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.