GNOME Bugzilla – Bug 613654
Enable live extension disable/enable and finding.
Last modified: 2011-02-26 19:28:03 UTC
Currently, disabling an extension does not disable the functionality or undo the changes to the shell the "main" function did. Enabling and disabling extensions should not require a restart of the desktop environment. Possible fix: Rename "main" to "enable" and add a "disable" method to extensions. Use inotify or GIO to update the possible extensions list when the folders are updated.
It seems more plausible to go with the firefox model of "The extension will be disabled on restart".
*** This bug has been marked as a duplicate of bug 643240 ***