@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?