kogmbh/WebODF — pull request #149 by adityab (2013-10-23 18:52:46+00:00)
Title: Properly destroy all dojo widgets when Tools is destoy()'d

Proper destruction of the editor widgets requires destroying each widget, not just those that are children of the toolbar.
Subsequent resurrections of the editor in the same window will now not cause trouble with the styles dialog, since there is no leftover dom node that conflicts.