Added a destroy method, mainly so that we could destroy ace editors.