Does EditorView.destroy() call .destroy on widgets?

Is is possible to call destroy method on all Decorations/Widgets instances , once the main instance of the editor (EditorView) got destroyed?

That should be happening, but it seems it wasn’t. This patch fixes that.

1 Like