Destroying the editor widget automatically destroys the associated data (edStruct) and deregisters from the contig. However a quit command also exists. The difference between using the Tk destroy command and quit is that quit also sends acknowledgements of shutdown allowing other displays to tidy up (such as deleting a displayed cursor). Hence quit is the preferred method.
quit
This widget is currently undocumented. See the `src/gap4/tkEdNames.c' file.