Delete objects #1
Description
Deleting a function, class or namespace outside the IDE (directly in the file system) is fine as long as the project is reloaded. It would be nice to have a GAP.Delete 'name' that removes both the source and the workspace object from within the IDE.