On Wed, 26 Aug 2009, Allin Cottrell wrote:
[What] exactly should happen when you delete a function package
via the GUI? At present all that happens is that the function
_file_ is deleted, but it makes sense that the package should
also be unloaded from memory. Then what should happen to the
functions that the package comprised? Either they are unloaded
too, or ... they are retained in memory but disconnected from
the scrapped package (so they're available for packaging again).
The second option is now implemented in CVS. Deleting a package in
the GUI frees its functions for other uses.
Allin.