Feature Request: Delete Create Operators Cleanly from Symbol Library

[sense-amr]

This ability would be very useful .. if we were able to delete Created Operators .. from the user library and have this updated.. in the same T3 session..

[pixtur]

I can't totally see why we need that. The only method currently possible is a work around:

1. Change namespace of the symbol to something like _obsolete
2. Close Tooll
3. Remove Operators/Types/_obsolete/ folder
4. Restart Tooll.

This has to be improved eventually. One way would be to flag symbols as obsolete, hide them from the user interface and delete them on application shutdown or on next startup.