Generic interface for plugins

Open jonaskrask opened this issue 3 years ago • 2 comments

A generic interface would allow users to connect plugins to the extension without the need to manually couple them in the extension code. Something like the "add library" interface is envisioned. However, we will need to discuss the scope of plugins, e.g., are they limited to translations? If so it will be fairly easy, but otherwise, we will need to figure out how data should be transmitted between the client and the plugin.

For vdm2isa, we know that it is a translation plugin, hence we can use the SLSP translate protocol for the communication, but what about other plugins?

Feb 21 '22 08:02 jonaskrask

This sort of thing is definitely supported by the server backend, but we could do with a UI feature too, as we have with libraries.

Dec 10 '22 13:12 nickbattle

I think something was added for this, allowing the lspx.plugins property to be set?

Jan 12 '23 15:01 nickbattle