Re: [jokosher-devel] Now with patch

[John Green <john thegreens co uk>]

On Mon, Oct 16, 2006 at 09:39:56AM -0400, joe fatnsoft com wrote:
> The next thing that I thought would be great would be to be able to
> disable extensions on the fly.  What I mean is that disabling the
> extension will undo whatever the extension did (remove menu items, remove
> export types, etc). 

I've thought this already. Whenever I install/remove an extension in Firefox
and get told I have to close and re-open the app then I think 'this sucks'.
The extension will probably have to provide a shutdown() or disable()
function which reverses startup(). I don't know whether this should be
mandatory or not, or whether J will just disable on the fly if a function is
provided and tell you to shutdown/restart otherwise

> It would also be nice to be able to reload the
> extension from inside the extension (like when GNOME Audio Properties are
> edited... just unload all added export types and then reload them). 
> Obviously somethings might need to be careful about unloading (an
> instrument type used in the project).
> 

sounds like your extension will need to grow a gui or at least add a menu
item. Reload might be possible from within the extension manager as well as
long as you can run disable() and startup() again

-- 
John Green