From: Eric Le L. <ker...@us...> - 2014-09-30 19:36:10
|
Is it possible to override a system plugin from the settings directory? If jEdit is installed by the system, requiring root privileges to update plugins shipped with the installer could prove cumbersome... About my SWT plugin: I don't know if it's worth it because the use case for it would be to show the help and javadoc and it doesn't handle jeditresource:xxx urls so it cannot show any help content! Cheers, Eric Le Tue, 30 Sep 2014 10:12:16 +0200, Matthieu Casanova <cho...@gm...> a écrit : > About your plugin, do you expect to ship it directly with jEdit > installer ? > It was an idea I had, to provide some plugins with the installer and > keep the ability to update them with the plugin manager. > |